A Composable Cryptographic Library with Nested Operations (Extended Abstract)
Michael Backes, Birgit Pfitzmann, Michael Waidner · 2003
Michael Backes [email protected] Birgit Pfitzmann [email protected] Michael Waidner [email protected] 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.