Stories by fanf2

Verifying concurrent memory reclamation algorithms with grace [pdf]

Weird things I learned while writing an x86 emulator

Xilem: An Architecture for UI in Rust

Don't use 7-segment displays (2011) [pdf]

Computational hierarchy of elementary cellular automata

End-to-end congestion control cannot avoid latency spikes (2022)

Reliability, constant work, and a good cup of coffee

Using a SmartCard HSM for DNSSEC with Bind, Knot DNS, and LDNS/NSD

An introduction to Jorvik, Ada's new tasking profile

TextEdit TXT/HTML type sniffing vulnerability on macOS (CVE-2019-8761)

Ode to a world-saving idea: attribution error and cognitive empathy (2021)

Contention on multi-threaded regex matching in Rust

The Google plasma globe USB keystroke injection attack

Malloc broke Serenity's JPGLoader, or: how to win the lottery (2021)

Scalable Reader-Writer Locks (2009)

You are rolling your own crypto

Using HDMI EMI for fast wireless data transfer (2023)

Putting DNSSEC signers to the test: Knot vs. Bind

EverParse: Hardening critical attack surfaces with formally proven message parse

53
54
55
56
57
58
59
60
61
62