Security and Verification in ComputingDistributed systems and fault toleranceCopyright and Intellectual Property
Erik Meijer
2026.3.1Queue
Abstract
A preemptive strike against exfiltration
Citation format
MEIJER, Erik. In code they think; in proof we trust. Queue, 2026, 24(2).