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

City

Cambridge / /

Company

AES / Focardi / Facebook / Graham Steel / Bortolozzo / Microsoft / Centenaro / /

Country

France / /

Event

Business Partnership / FDA Phase / /

Facility

Bouncy Castle / /

IndustryTerm

http /

OperatingSystem

Linux / Android / /

Organization

Ecole Polytechnique / /

Person

Romain Bardou / Bruno Blanchet Graham Steel / Karthikeyan Bhargavan / Miriam Paiola / David Cad / Iro Bartzia / Alfredo Pironti / Bruno Blanchet / /

Position

chef / Engineer / programmer / /

Product

ProVerif / F7 / /

ProgrammingLanguage

Java / C / K / php / JavaScript / /

Technology

industrial-strength protocols / PHP / Linux / API / 2.2 Related work Protocol / smartphone / cryptographic protocol / fundamental cryptographic algorithms / security protocols / Android / operating system / html / cryptographic network protocols / Cryptography / Cryptographic vs. Web applications Cryptographic protocols / Java / smartphones / cryptographic protocols / web server / /

URL

http /

SocialTag