English
Related papers

Related papers: Transaction-based Sandboxing for JavaScript

200 papers

This paper presents an approach to provide strong assurance of the secure execution of distributed event-driven applications on shared infrastructures, while relying on a small Trusted Computing Base. We build upon and extend security…

Cryptography and Security · Computer Science 2023-06-30 Gianluca Scopelliti , Sepideh Pouyanrad , Job Noorman , Fritz Alder , Christoph Baumann , Frank Piessens , Jan Tobias Mühlberg

Industrial Control Systems (ICS) are often built from geographically distributed components and often use programmable logic controllers for localized processes. Since verification of such systems is challenging because of both time…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-01 Ritam Ganguly , Borzoo Bonakdarpour

Event-driven programming is widely used for implementing user interfaces, web applications, and non-blocking I/O. An event-driven program is organized as a collection of event handlers whose execution is triggered by events. Traditional…

Programming Languages · Computer Science 2019-10-30 Ming-Ho Yee , Ayaz Badouraly , Ondřej Lhoták , Frank Tip , Jan Vitek

The "eternal war in cache" has reached browsers, with multiple cache-based side-channel attacks and countermeasures being suggested. A common approach for countermeasures is to disable or restrict JavaScript features deemed essential for…

Cryptography and Security · Computer Science 2021-03-09 Anatoly Shusterman , Ayush Agarwal , Sioli O'Connell , Daniel Genkin , Yossi Oren , Yuval Yarom

With the rapid development of Large Language Models (LLMs), a large number of benchmarks have been proposed. However, most benchmarks lack unified evaluation standard and require the manual implementation of custom scripts, making results…

Advancements in mobile device computing power have made interactive web applications possible, allowing the web browser to render contents dynamically and support low-latency communication with the server. This comes at a cost to the…

Programming Languages · Computer Science 2020-04-06 Anson Miu , Francisco Ferreira , Nobuko Yoshida , Fangyi Zhou

As blockchains continue to seek to scale to a larger number of nodes, the communication complexity of protocols has become a significant priority as the network can quickly become overburdened. Several schemes have attempted to address…

Information Theory · Computer Science 2023-05-11 Ilan Tennenhouse , Netanel Raviv

We present a preliminary proposal for an analytical model for evaluating the impact on performance of data access patterns in concurrent transaction execution. We consider the case of concurrency control protocols that use locking to ensure…

Performance · Computer Science 2021-10-19 Pierangelo Di Sanzo

Web applications require exchanging parameters between a client and a server to function properly. In real-world systems such as online banking transfer, traversing multiple pages with parameters contributed by both the user and server is a…

Cryptography and Security · Computer Science 2014-06-09 Adonis P. H. Fung , Tielei Wang , K. W. Cheung , T. Y. Wong

Current blockchain technologies provide very limited interoperability. Restrictions with regards to asset transfers and data exchange between different blockchains reduce usability and comfort for users, and hinder novel developments within…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-05-16 Michael Borkowski , Marten Sigwart , Philipp Frauenthaler , Taneli Hukkinen , Stefan Schulte

Event-driven programming is used in many fields of modern Computer Science. In event-driven programming languages user interacts with a program by triggering the events. We propose a new approach that we denote command-event driven…

Programming Languages · Computer Science 2015-03-18 Piotr J. Puczynski

As transaction fees skyrocket today, blockchains become increasingly expensive, hurting their adoption in broader applications. This work tackles the saving of transaction fees for economic blockchain applications. The key insight is that…

Cryptography and Security · Computer Science 2022-10-11 Yibo Wang , Yuzhe Tang

Proxy servers are being increasingly deployed at organizations for performance benefits; however, there still exists drawbacks in ease of client authentication in interception proxy mode mainly for Open Source Proxy Servers. Technically, an…

Networking and Internet Architecture · Computer Science 2013-02-19 Tejaswi Agarwal , Mike A. Leonetti

Transactional memory (TM) facilitates the development of concurrent applications by letting the programmer designate certain code blocks as atomic. Programmers using a TM often would like to access the same data both inside and outside…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-01-15 Artem Khyzha , Hagit Attiya , Alexey Gotsman , Noam Rinetzky

Searchable symmetric encryption (SSE) allows the data owner to outsource an encrypted database to a remote server in a private manner while maintaining the ability for selectively search. So far, most existing solutions focus on an…

Cryptography and Security · Computer Science 2019-09-23 Shengshan Hu , Chengjun Cai , Qian Wang , Cong Wang , Minghui Li , Zhibo Wang , Dengpan Ye

Decoding in a Transformer based language model is inherently sequential as a token's embedding needs to pass through all the layers in the network before the generation of the next token can begin. In this work, we propose a new…

Machine Learning · Computer Science 2025-08-27 Dylan Cutler , Arun Kandoor , Nishanth Dikkala , Nikunj Saunshi , Xin Wang , Rina Panigrahy

This paper describes the design principles behind jsRealB (Version 4.0), a surface realizer written JavaScript for English or French sentences from a specification inspired by the constituent syntax formalism but for which a…

Computation and Language · Computer Science 2022-05-13 Guy Lapalme

Inspired by Bitcoin, many different kinds of cryptocurrencies based on blockchain technology have turned up on the market. Due to the special structure of the blockchain, it has been deemed impossible to directly trade between traditional…

Cryptography and Security · Computer Science 2020-05-08 Hangyu Tian , Kaiping Xue , Shaohua Li , Jie Xu , Jianqing Liu , Jun Zhao

Blockchain has been praised for its capacity to hold data in a decentralized and tamper-proof way. It also supports the execution of code through blockchain's smart contracts, adding automation of actions to the network with high…

Cryptography and Security · Computer Science 2021-01-25 Nicolas Six , Claudia Negri Ribalta , Nicolas Herbaut , Camille Salinesi

Smart contract-enabled blockchains allow building decentralized applications in which mutually-distrusted parties can work together. Recently, oracle services emerged to provide these applications with real-world data feeds. Unfortunately,…

Computer Science and Game Theory · Computer Science 2021-12-24 Z. Motaqy , G. Almashaqbeh , B. Bahrak , N. Yazdani