Work

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

Year: 2013

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-39799-8_48

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

Institutions: ETH Zurich, Institute of Information Security, IMDEA Software Institute

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W146244851

FWCI: 13.5

Cites: 16

Cited by: 741

Related to: 10