Work

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

Year: 2012

Type: conference-paper

Source: IEEE Computer Security Foundations Workshop (CSFW)

DOI: 10.1109/csf.2012.25

Authors: Benedikt Schmidt, Simon Meier, Cas Cremers, David Basin

Institutions: ETH Zurich, Institute of Information Security

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2002789557

FWCI: 10.55

Cites: 39

Cited by: 257

Related to: 10