Back to Results
First PageMeta Content
Electronic commerce / Public-key cryptography / Cryptography standards / Hardware security module / Cryptographic primitive / ProVerif / Formal verification / Secure channel / Microsoft CryptoAPI / Cryptography / Cryptographic protocols / Cryptographic software


Prosecco Programming Securely with Cryptography A Project-Team Proposal Karthikeyan Bhargavan
Add to Reading List

Document Date: 2012-03-14 05:31:34

Open Document

File Size: 734,22 KB

Share Result on Facebook
UPDATE