Reverse Engineering x86 Processor Microcode (PDF), by Philipp Koppe, Benjamin Kollenda, Marc Fyrbiak, Christian Kison, Robert Gawlik, Christof Paar, and Thorsten Holz. Impressive work.
Mutabah’s Rust Compiler, is an in-progress alternative Rust compiler, written in C++.
HACL* is a formally verified cryptographic library in F*, developed by the Prosecco team at INRIA Paris in collaboration with Microsoft Research, as part of Project Everest.
CLKSCREW: Exposing the Perils of Security-Oblivious Energy Management, by Adrian Tang, Simha Sethumadhavan, and Salvatore Stolfo.
Significantly Improved Multi-bit Differentials for Reduced Round Salsa and ChaCha, by Arka Rai Choudhuri and Subhamoy Maitra. “[W]e obtain very high biases for linear combinations of bits in Salsa after 6 rounds and in ChaCha after 5 rounds.”
Minideb, a minimalist Debian-based image built specifically to be used as a base image for containers.
Knuth’s realization of the associahedra as (Tamari) lattices, by Noam Zeilberger.
“HTML email, was that your fault?”, by jwz.