USENIX

Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture

We build a system that provides succinct non-interactive zero-knowledge proofs (zk-SNARK s) for program executions on a von Neumann RISC architecture. The system has two components: a cryptographic ...
USENIX

EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are ...
USENIX

Enemy of the State: A State-Aware Black-Box Web Vulnerability Scanner

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are ...
USENIX

Internet Censorship in Iran: A First Look

The Iranian government operates one of the largest and most sophisticated Internet censorship regimes in the world, but the mechanisms it employs have received little research attention, primarily due ...
USENIX

Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are ...
USENIX

Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands

We develop 5GBaseChecker— an efficient, scalable, and dynamic security analysis framework based on differential testing for analyzing 5G basebands' control plane protocol interactions. 5GBaseChecker ...
USENIX

The KNOB is Broken: Exploiting Low Entropy in the Encryption Key Negotiation Of Bluetooth BR/EDR

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are ...
USENIX

Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are ...
USENIX

BFTBrain: Adaptive BFT Consensus with Reinforcement Learning

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are ...
USENIX

The Million-Key Question—Investigating the Origins of RSA Public Keys

Can bits of an RSA public key leak information about design and implementation choices such as the prime generation algorithm? We analysed over 60 million freshly generated key pairs from 22 open- and ...
USENIX

DRAMA: Exploiting DRAM Addressing for Cross-CPU Attacks

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are ...
USENIX

Protean: VM Allocation Service at Scale

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are ...