Reverse Engineering x86 Processor Microcode (PDF),
by Philipp Koppe, Benjamin Kollenda, Marc Fyrbiak, Christian Kison,
Robert Gawlik, Christof Paar, and Thorsten Holz.
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.
C-64 charset logo generator
“HTML email, was that your fault?”, by jwz.