A Composable Cryptographic Library with Nested Operations (Extended Abstract) (2003)
by
Michael Backes
,
Birgit Pfitzmann
,
Michael Waidner
| Citations: | 104 - 22 self |
BibTeX
@MISC{Backes03acomposable,
author = {Michael Backes and Birgit Pfitzmann and Michael Waidner},
title = {A Composable Cryptographic Library with Nested Operations (Extended Abstract)},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Michael Backes mbc@zurich.ibm.com Birgit Pfitzmann bpf@zurich.ibm.com Michael Waidner wmi@zurich.ibm.com ABSTRACT We present the first idealized cryptographic library that can be used like the Dolev-Yao model for automated proofs of cryptographic protocols that use nested cryptographic operations, while coming with a cryptographic implementation that is provably secure under active attacks.
Citations
| 267 | P.: Reconciling two views of cryptography (the computational soundness of formal encryption - Abadi, Rogaway - 2002 |
| 88 | Formal eavesdropping and its computational interpretation - Abadi, Jürjens - 2001 |
