Soundness of Formal Encryption in the Presence of Key-Cycles
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 374-396
- https://doi.org/10.1007/11555827_22
Abstract
No abstract availableKeywords
This publication has 37 references indexed in Scilit:
- Relating Symbolic and Cryptographic SecrecyIEEE Transactions on Dependable and Secure Computing, 2005
- Adaptive Security of Symbolic EncryptionPublished by Springer Nature ,2005
- A Cryptographically Sound Security Proof of the Needham–Schroeder–Lowe Public-Key ProtocolIEEE Journal on Selected Areas in Communications, 2004
- Supersymmetry and the AdS Higgs PhenomenonJournal of High Energy Physics, 2004
- Value of αsfrom deep-inelastic-scattering dataJournal of High Energy Physics, 2003
- Cryptographic Security of Reactive Systems: (Extended Abstract)Electronic Notes in Theoretical Computer Science, 2000
- Security and Composition of Multiparty Cryptographic ProtocolsJournal of Cryptology, 2000
- Secure multiparty protocols and zero-knowledge proof systems tolerating a faulty minorityJournal of Cryptology, 1991
- The Notion of Security for Probabilistic CryptosystemsSIAM Journal on Computing, 1988
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983