Daniel Genkin

IACR Cryptol. ePrint Arch., 2024

Testing side-channel security of cryptographic implementations against future microarchitectures.

[BibT_eX]

[DOI]

Gilles Barthe

Marcel Böhme

Sunjay Cauligi

CoRR, 2024

2023

Fast Large-Scale Honest-Majority MPC for Malicious Adversaries.

[BibT_eX]

[DOI]

J. Cryptol., July, 2023

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives.

[BibT_eX]

[DOI]

Markus Wagner

Proc. ACM Program. Lang., 2023

Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

BunnyHop: Exploiting the Instruction Prefetcher.

[BibT_eX]

[DOI]

Zhiyuan Zhang

Mingtian Tao

Sioli O'Connell

Proceedings of the 32nd USENIX Security Symposium, 2023

Hot Pixels: Frequency, Power, and Temperature Attacks on GPUs and Arm SoCs.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Checking Passwords on Leaky Computers: A Side Channel Analysis of Chrome's Password Leak Detect Protocol.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

The Impostor Among US(B): Off-Path Injection Attacks on USB Communications.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Revisiting Lightweight Compiler Provenance Recovery on ARM Binaries.

[BibT_eX]

[DOI]

Jason Kim

Kevin Leach

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

CryptOpt: Automatic Optimization of Straightline Code.

[BibT_eX]

[DOI]

Markus Wagner

Basavesh Ammanaghatta Shivakumar

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

iLeakage: Browser-based Timerless Speculative Execution Attacks on Apple Devices.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

CacheFX: A Framework for Evaluating Cache Security.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022

Spectre Declassified: Reading from the Right Place at the Wrong Time.

[BibT_eX]

[DOI]

Jack Barnes

Gilles Barthe

Sunjay Cauligi

IACR Cryptol. ePrint Arch., 2022

When Frodo Flips: End-to-End Key Recovery on FrodoKEM via Rowhammer.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Snapshot-Oblivious RAMs: Sub-Logarithmic Efficiency for Short Transcripts.

[BibT_eX]

[DOI]

Yang Du

Paul Grubbs

IACR Cryptol. ePrint Arch., 2022

CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives.

[BibT_eX]

[DOI]

Markus Wagner

CoRR, 2022

Lend Me Your Ear: Passive Remote Physical Side Channels on PCs.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

SpecHammer: Combining Spectre and Rowhammer for New Speculative Attacks.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Spook.js: Attacking Chrome Strict Site Isolation via Speculative Execution.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Side-Channeling the Kalyna Key Expansion.

[BibT_eX]

[DOI]

Zhiyuan Zhang

Proceedings of the Topics in Cryptology - CT-RSA 2022, 2022

HammerScope: Observing DRAM Power Consumption Using Rowhammer.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Browser Based Side-Channel Defenses Datasets.

[BibT_eX]

[DOI]

Dataset, October, 2021

Whack-a-Meltdown: Microarchitectural Security Games [Systems Attacks and Defenses].

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2021

Prime+Probe 1, JavaScript 0: Overcoming Browser-based Side-Channel Defenses.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

CacheOut: Leaking Data on Intel CPUs via Cache Evictions.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Nonce@Once: A Single-Trace EM Side Channel Attack on Several Constant-Time Elliptic Curve Implementations in Mobile Platforms.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

2020

Cache vs. Key-Dependency: Side Channeling an Implementation of Pilsung.

[BibT_eX]

[DOI]

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020

Meltdown: reading kernel memory from user space.

[BibT_eX]

[DOI]

Commun. ACM, 2020

Spectre attacks: exploiting speculative execution.

[BibT_eX]

[DOI]

Commun. ACM, 2020

Light Commands: Laser-Based Audio Injection Attacks on Voice-Controllable Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

RAMBleed: Reading Bits in Memory Without Accessing Them.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

Breaking Virtual Memory Protection and the SGX Ecosystem with Foreshadow.

[BibT_eX]

[DOI]

IEEE Micro, 2019

Pseudorandom Black Swans: Cache Attacks on CTR_DRBG.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Fallout: Reading Kernel Writes From User Space.

[BibT_eX]

[DOI]

CoRR, 2019

Synesthesia: Detecting Screen Content via Remote Acoustic Side Channels.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Fallout: Leaking Data on Meltdown-resistant CPUs.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Spectre Attacks: Exploiting Speculative Execution.

[BibT_eX]

[DOI]

meltdownattack.com, 2018

Meltdown

[BibT_eX]

[DOI]

meltdownattack.com, 2018

CacheQuote: Efficiently Recovering Long-term Secrets of SGX EPID via Cache Attacks.

[BibT_eX]

[DOI]

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018

The 9 Lives of Bleichenbacher's CAT: New Cache ATtacks on TLS Implementations.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Drive-by Key-Extraction Cache Attacks from Portable Code.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Privacy in decentralized cryptocurrencies.

[BibT_eX]

[DOI]

Commun. ACM, 2018

Meltdown: Reading Kernel Memory from User Space.

[BibT_eX]

[DOI]

Proceedings of the 27th USENIX Security Symposium, 2018

Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution.

[BibT_eX]

[DOI]

Proceedings of the 27th USENIX Security Symposium, 2018

vRAM: Faster Verifiable RAM with Program-Independent Preprocessing.

[BibT_eX]

[DOI]

Yupeng Zhang

Jonathan Katz

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Another Flip in the Wall of Rowhammer Defenses.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Closure Under Reversal of Languages over Infinite Alphabets.

[BibT_eX]

[DOI]

Michael Kaminski

Liat Peterfreund

Proceedings of the Computer Science - Theory and Applications, 2018

Best of Both Worlds in Secure Computation, with Low Communication Overhead.

[BibT_eX]

[DOI]

S. Dov Gordon

Samuel Ranellucci

Proceedings of the Applied Cryptography and Network Security, 2018

2017

Acoustic Cryptanalysis.

[BibT_eX]

[DOI]

Adi Shamir

J. Cryptol., 2017

CacheBleed: a timing attack on OpenSSL constant-time RSA.

[BibT_eX]

[DOI]

Nadia Heninger

J. Cryptogr. Eng., 2017

A Zero-Knowledge Version of vSQL.

[BibT_eX]

[DOI]

Yupeng Zhang

Jonathan Katz

IACR Cryptol. ePrint Arch., 2017

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases.

[BibT_eX]

[DOI]

Yupeng Zhang

Jonathan Katz

IACR Cryptol. ePrint Arch., 2017

May the Fourth Be With You: A Microarchitectural Side Channel Attack on Several Real-World Applications of Curve25519.

[BibT_eX]

[DOI]

Luke Valenta

IACR Cryptol. ePrint Arch., 2017

How to Construct a Leakage-Resilient (Stateless) Trusted Party.

[BibT_eX]

[DOI]

Yuval Ishai

Mor Weiss

IACR Cryptol. ePrint Arch., 2017

Sliding right into disaster: Left-to-right sliding windows leak.

[BibT_eX]

[DOI]

Daniel J. Bernstein

Joachim Breitner

Leon Groot Bruinderink

Nadia Heninger

Tanja Lange

Christine van Vredendaal

IACR Cryptol. ePrint Arch., 2017

USB Snooping Made Easy: Crosstalk Leakage Attacks on USB Hubs.

[BibT_eX]

[DOI]

Yang Su

Damith Chinthana Ranasinghe

Proceedings of the 26th USENIX Security Symposium, 2017

2016

Secure Computation in Hostile Environments.

[BibT_eX]

[DOI]

PhD thesis, 2016

ECDSA Key Extraction from Mobile Devices via Nonintrusive Physical Side Channels.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

ECDH Key-Extraction via Low-Bandwidth Electromagnetic Attacks on PCs.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Binary AMD Circuits from Secure Multiparty Computation.

[BibT_eX]

[DOI]

Yuval Ishai

Mor Weiss

IACR Cryptol. ePrint Arch., 2016

Computational integrity with a public random string from quasi-linear PCPs.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Physical key extraction attacks on PCs.

[BibT_eX]

[DOI]

Commun. ACM, 2016

2015

Get your hands off my laptop: physical side-channel key-extraction attacks on PCs - Extended version.

[BibT_eX]

[DOI]

Itamar Pipman

J. Cryptogr. Eng., 2015

Stealing Keys from PCs using a Radio: Cheap Electromagnetic Attacks on Windowed Exponentiation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Circuits Resilient to Additive Attacks with Applications to Secure Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Efficient Multi-party Computation: From Passive to Active Security via Secure SIMD Circuits.

[BibT_eX]

[DOI]

Yuval Ishai

Antigoni Polychroniadou

Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

2014

A note on the emptiness problem for alternating finite-memory automata.

[BibT_eX]

[DOI]

Michael Kaminski

Liat Peterfreund

Theor. Comput. Sci., 2014

Get Your Hands Off My Laptop: Physical Side-Channel Key-Extraction Attacks on PCs.

[BibT_eX]

[DOI]

Itamar Pipman

IACR Cryptol. ePrint Arch., 2014

2013

RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis.

[BibT_eX]

[DOI]

Adi Shamir

IACR Cryptol. ePrint Arch., 2013

SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

On the concrete efficiency of probabilistically-checkable proofs.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Computing Conference, 2013

Fast reductions from RAMs to delegatable succinct constraint satisfaction problems: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Theoretical Computer Science, 2013

2012

Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

On the Concrete-Efficiency Threshold of Probabilistically-Checkable Proofs.

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 2012

2010

Extending Free Pregroups with Lower Bounds.

[BibT_eX]

[DOI]

Stud Logica, 2010

Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars.

[BibT_eX]

[DOI]