Work

Cryptographically verified implementations for TLS

Year: 2008

Type: conference-paper

Source: ACM SIGSAC Conference on Computer and Communications Security (CCS)

DOI: 10.1145/1455770.1455828

Authors: Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu

Institutions: Microsoft Research (United Kingdom), Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2072210640

FWCI: 6.869

Cites: 35

Cited by: 110

Related to: 10