Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Browse the full FMICS paper archive.