Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

An Introduction to Bε-trees and Write-Optimization

Reverse-Engineering Instruction Encodings (2001)

Protocol-aware recovery for consensus-based storage (2018)

Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems (2023)

Datalog Disassembly (2020)

Eye of Sauron: Long-Range Hidden Spy Camera Detection (2024)

Data-only attacks are easier than you think (2024)

Why Johnny Can't Encrypt: A Usability Evaluation of PGP 5.0 (1999)

OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering

Co-Opting Linux Processes for High-Performance Network Simulation (2022)

Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine

Crawling BitTorrent DHTs for Fun and Profit [pdf]

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization

SPEAKE(a)R: Turn Speakers to Microphones for Fun and Profit [pdf] (2017)

The Saddest Moment (2013) [pdf]

This World of Ours (2014) [pdf]

Do Users Verify SSH Keys? (2011) [pdf]

IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing

The File System Belongs in the Kernel (1991)

Privacy and Security Risks in the eSIM Ecosystem [pdf]

My ZIP isn't your ZIP: Identifying and exploiting semantic gaps between parsers

Graham: Synchronizing Clocks by Leveraging Local Clock Properties (2022) [pdf]

Rex: Closing the language-verifier gap with safe and usable kernel extensions

MakeShift: Security analysis of Shimano Di2 wireless gear shifting (2024)

The Koala Benchmarks for the Shell: Characterization and Implications

Memory safety is table stakes

EM Eavesdropping Attack on Digital Microphones Using Pulse Density Modulation

A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]

Weaver Codes: Highly Fault Tolerant Erasure Codes for Storage Systems (2005)

Usenix ATC Announcement

More →