[Cryptography] Formal Verification (was Re: Email and IM are ideal candidates for mix networks)

Eugen Leitl eugen at leitl.org
Mon Aug 26 07:11:45 PDT 2013

Previous message: [Cryptography] Formal Verification (was Re: Email and IM are ideal candidates for mix networks)
Next message: hardened *nix for Lenovo X60
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

----- Forwarded message from "Perry E. Metzger" <perry at piermont.com> -----

Previous message: [Cryptography] Formal Verification (was Re: Email and IM are ideal candidates for mix networks)
Next message: hardened *nix for Lenovo X60
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Testlist mailing list