API, event lists, Exclusive-OR, Lamport clocks, mutable memory, protocol verification, YubiHSM, YubiKey.