First Page | Document Content | |
---|---|---|
Date: 2012-03-14 05:31:34Electronic 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 BhargavanAdd to Reading ListSource URL: prosecco.gforge.inria.frDownload Document from Source WebsiteFile Size: 734,22 KBShare Document on Facebook |