Verification of low-level crypto-protocol implementations using automated theorem proving.

Jan Jrjens

Browse the full MEMOCODE paper archive.