Cryptographically verified implementations for TLS

13 years 6 months ago

Download research.microsoft.com

We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the Transport Layer

Karthikeyan Bhargavan, Cédric Fournet, Rica

Real-time Traffic

CCS 2008 | Cryptographic Protocols | Security Privacy | Small Functional Implementation |

claim paper

» Cryptographic Protocol Analysis on Real C Code

» On the automated implementation of modal logics used to verify security protocols

» Cryptographically sound implementations for typed informationflow security

» Secure Hardware Implementation of Nonlinear Functions in the Presence of Glitches

» Encrypting the internet

» A Distributed Implementation of the Certified Information Access Service

» Minimizing Bandwidth for Remote Access to Cryptographically Protected Audit Logs

» Symbolic Model Checking the Knowledge of the Dining Cryptographers

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	CCS
Authors	Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu

Comments (0)

Sciweavers

Cryptographically verified implementations for TLS

CCS 2008 | Cryptographic Protocols | Security Privacy | Small Functional Implementation |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers