Output details
11 - Computer Science and Informatics
Royal Holloway, University of London
Return to search
Output 0 of 0 in the submission
Article title
A secure compiler for session abstractions
Type
D - Journal article
Title of journal
Journal of Computer Security
Article number
-
Volume number
16
Issue number
5
First page of article
573
ISSN of journal
0926-227X
Year of publication
2008
Number of additional authors
4
Additional information
<10>This paper describes the first formally proven cryptographic protocol compiler. At the time, it was able to generate the largest verified cryptographic protocol implementations available. This research had an important impact in the field of language-based security and inspired other works on automated generation of zero-knowledge proofs by colleagues from MPI-Saarbrücken. Preliminary results were presented at CSF'07 in the paper "Secure Implementations for Typed Session Abstractions". It was followed up by a CSF'09 paper which enriched the protocol description language and employed a more scalable type-based proof technique.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Distributed and Global Computing
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
