Protecting Secrets from Computers (2023)

Kernel extension verification is untenable

DevEx in Action [pdf]

Christopher Alexander: An Introduction for Object-Oriented Designers [pdf]

Meta II: Digital Vellum in the Digital Scriptorium

Clockhands: Rename-free instruction set architecture for out-of-order processors

Verilog HDL and its ancestors and descendants (2020) [pdf]

Clockhands: Rename-Free Instruction Set Architecture for Out-of-Order Processors

Kernel vs. User-Level Networking: Don't Throw Out the Stack with the Interrupts

Phantom: Exploiting Decoder-detectable Mispredictions