Articles from www.usenix.org

Articles from www.usenix.org

A Formal Analysis of Apple's iMessage PQ3 Protocol (www.usenix.org)
7 days ago Apple

Technical Debt as Theory Building and Practice (www.usenix.org)
19 days ago

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs (www.usenix.org)
19 days ago InfoSec

Graham: Synchronizing Clocks by Leveraging Local Clock Properties (www.usenix.org)
30 days ago

How to miscompile programs with “benign” data races (www.usenix.org)
2025-1-11

An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise (2024) (www.usenix.org)
2025-1-8 Rust Linux

An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise (www.usenix.org)
2025-1-4 Rust Linux

The Evolution of SRE at Google (www.usenix.org)
2025-1-3 Google

Load is not what you should balance: Introducing Prequal (www.usenix.org)
2024-12-15

Open Versus Closed: A Cautionary Tale (2006) (www.usenix.org)
2024-9-25

Previous Page Next Page