Search Results - "Tromer, Eran"

Efficient Cache Attacks on AES, and Countermeasures by Tromer, Eran, Osvik, Dag Arne, Shamir, Adi

“…We describe several software side-channel attacks based on inter-process leakage through the state of the CPU’s memory cache. This leakage reveals memory…”
Get full text

Acoustic Cryptanalysis by Genkin, Daniel, Shamir, Adi, Tromer, Eran

“…Many computers emit a high-pitched noise during operation, due to vibration in some of their electronic components. These acoustic emanations are more than a…”
Get full text

Zerocash: Decentralized Anonymous Payments from Bitcoin by Ben Sasson, Eli, Chiesa, Alessandro, Garman, Christina, Green, Matthew, Miers, Ian, Tromer, Eran, Virza, Madars

“…Bit coin is the first digital currency to see widespread adoption. While payments are conducted between pseudonyms, Bit coin cannot offer strong privacy…”
Get full text

The Hunting of the SNARK by Bitansky, Nir, Canetti, Ran, Chiesa, Alessandro, Goldwasser, Shafi, Lin, Huijia, Rubinstein, Aviad, Tromer, Eran

“…The existence of succinct non-interactive arguments for NP (i.e., non-interactive computationally sound proofs where the verifier’s work is essentially…”
Get full text

PhotoProof: Cryptographic Image Authentication for Any Set of Permissible Transformations by Naveh, Assa, Tromer, Eran

“…Since the invention of the camera, photos have been used to document reality and to supply proof of events. Yet today it is easy to fabricate realistic images…”
Get full text

Protecting Circuits from Leakage: the Computationally-Bounded and Noisy Cases by Faust, Sebastian, Rabin, Tal, Reyzin, Leonid, Tromer, Eran, Vaikuntanathan, Vinod

“…Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that…”
Get full text

Scalable Zero Knowledge Via Cycles of Elliptic Curves by Ben-Sasson, Eli, Chiesa, Alessandro, Tromer, Eran, Virza, Madars

“…Non-interactive zero-knowledge proofs of knowledge for general NP statements are a powerful cryptographic primitive, both in theory and in practical…”
Get full text

Group Oblivious Message Retrieval by Liu, Zeyu, Tromer, Eran, Wang, Yunhao

“…Anonymous message delivery, as in private communication and privacy-preserving blockchain applications, ought to protect recipient metadata: a message should…”
Get full text

Synesthesia: Detecting Screen Content via Remote Acoustic Side Channels by Genkin, Daniel, Pattani, Mihir, Schuster, Roei, Tromer, Eran

“…We show that subtle acoustic noises emanating from within computer screens can be used to detect the content displayed on the screens. This sound can be picked…”
Get full text

Get your hands off my laptop: physical side-channel key-extraction attacks on PCs: Extended version by Genkin, Daniel, Pipman, Itamar, Tromer, Eran

“…We demonstrate physical side-channel attacks on a popular software implementation of RSA and ElGamal, running on laptop computers. Our attacks use novel side…”
Get full text

Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs by Ben-Sasson, Eli, Chiesa, Alessandro, Green, Matthew, Tromer, Eran, Virza, Madars

“…Non-interactive zero-knowledge proofs (NIZKs) are a powerful cryptographic tool, with numerous potential applications. However, succinct NIZKs (e.g., zk-SNARK…”
Get full text

Path-Quality Monitoring in the Presence of Adversaries: The Secure Sketch Protocols by Goldberg, Sharon, Xiao, David, Tromer, Eran, Barak, Boaz, Rexford, Jennifer

“…Edge networks connected to the Internet need effective monitoring techniques to inform routing decisions and detect violations of Service Level Agreements…”
Get full text

Noninterference for a Practical DIFC-Based Operating System by Krohn, M., Tromer, E.

“…The Flume system is an implementation of decentralized information flow control (DIFC) at the operating system level. Prior work has shown Flume can be…”
Get full text

Formalizing Human Ingenuity: A Quantitative Framework for Copyright Law's Substantial Similarity by Scheffler, Sarah, Tromer, Eran, Varia, Mayank

“…A central notion in U.S. copyright law is judging the substantial similarity between an original and an (allegedly) derived work. Capturing this notion has…”
Get full text

Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities by Cuéllar, Santiago, Harris, Bill, Parker, James, Pernsteiner, Stuart, Tromer, Eran

“…Currently, when a security analyst discovers a vulnerability in critical software system, they must navigate a fraught dilemma: immediately disclosing the…”
Get full text

You Autocomplete Me: Poisoning Vulnerabilities in Neural Code Completion by Schuster, Roei, Song, Congzheng, Tromer, Eran, Shmatikov, Vitaly

“…Code autocompletion is an integral feature of modern code editors and IDEs. The latest generation of autocompleters uses neural language models, trained on…”
Get full text

Synesthesia: Detecting Screen Content via Remote Acoustic Side Channels by Genkin, Daniel, Pattani, Mihir, Schuster, Roei, Tromer, Eran

“…We show that subtle acoustic noises emanating from within computer screens can be used to detect the content displayed on the screens. This sound can be picked…”
Get full text

Secure Association for the Internet of Things by Benin, Almog, Toledo, Sivan, Tromer, Eran

“…Existing standards (ZigBee and Bluetooth Low Energy) for networked low-power wireless devices do not support secure association (or pairing) of new devices…”
Get full text

Using More Data to Speed-up Training Time by Shalev-Shwartz, Shai, Shamir, Ohad, Tromer, Eran

“…In many recent applications, data is plentiful. By now, we have a rather clear understanding of how more data can be used to improve the accuracy of learning…”
Get full text

Improved routing-based linear algebra for the number field sieve by Geiselmann, W., Kopfer, H., Steinwandt, R., Tromer, E.

“…Efficient custom-hardware designs were proposed for the linear algebra step of the number field sieve integer factoring algorithm. These designs make use of a…”
Get full text