Loading...

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

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

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

Usenix ATC Announcement

Technical Debt as Theory Building and Practice

Graham: Synchronizing Clocks by Leveraging Local Clock Properties

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Using PDDL to find privilege escalation paths

Codon Python Compiler Gets Faster - and Changes to Apache 2 License

The Night Watch (2013) [pdf]

Autothrottle: Resource Management for SLO-Targeted Microservices

How to miscompile programs with "benign" data races [pdf]

An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise

An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise (2024)

The Evolution of SRE at Google

Load is not what you should balance: Introducing Prequal

It's time for operating systems to rediscover hardware

Open Versus Closed: A Cautionary Tale (2006)

MakeShift: Security Analysis of Shimano Di2 Wireless Gear Shifting in Bicycles

Debugging operating systems with time-traveling virtual machines (2005) [pdf]

An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise

A Uniform Name Service for Spring's UNIX Environment (1994)

Inference of Error Specifications and Bug Detection Using Structural Similarity [pdf]

Understanding Software Dynamics [book review]

Sieve: Cache eviction can be simple, effective, and scalable

MRTG The Multi Router Traffic Grapher (1998)

Bcrypt at 25: A Retrospective on Password Security

Itanium — A System Implementor’s Tale (2005)

Security and Privacy Failures in Popular 2FA Apps -- "We identified all general purpose Android TOTP apps in the Google Play Store with at least 100k installs that implemented a backup mechanism (n = 22)."

Framing Frames: Bypassing wi-fi encryption by manipulating transmit queues

Replication Prohibited: Attacking Restricted Keyways with 3D Printing [pdf]

More →