You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Oxford » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Oxford

Return to search Previous output Next output

Output 48 of 263 in the submission

Output title

Automated analysis of diffie-hellman protocols and advanced security properties

Type

E - Conference contribution

DOI

10.1109/CSF.2012.25

Name of conference/published proceedings

Proceedings of the Computer Security Foundations Workshop

Volume number

Issue number

First page of article

ISSN of proceedings

1940-1434

Year of publication

2012

URL

http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6266153

Number of additional authors

Additional information

<11>

This work presents an automated analysis method for the analysis of security protocols that improves on the state of the art by handling a more precise modeling of Diffie-Hellman exponentiation and the ability to specify advanced security properties. These two features enable the precise analysis of protocols and properties that were previously out of scope for automated methods. The method has been implemented in the Tamarin tool. In case studies, the method is shown to be effective and efficient at falsification and unbounded verification of a set of recent protocols for authenticated key exchange.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract