Information Security and Cryptology - ICISC 2003

DOI10.1007/B96249MaRDI QIDQ5714151zbMATH OpenOpenAlexFDO

Authors Peeter Laud, Ricardo Corin

Publication date 27 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96249

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 1759457
• Reconciling two views of cryptography (The computational soundness of formal encryption)
• Advances in Cryptology - CRYPTO 2003
• Soundness of Formal Encryption in the Presence of Key-Cycles
• Programming Languages and Systems

Cited in

(10)

• Computationally sound implementations of equational theories against passive adversaries
• Reconciling two views of cryptography (The computational soundness of formal encryption)
• Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings
• Rate-1 key-dependent message security via reusable homomorphic extractor against correlated-source attacks
• scientific article; zbMATH DE number 1759457 (Why is no real title available?)
• A survey of symbolic methods in computational analysis of cryptographic systems
• Advances in Cryptology - CRYPTO 2003
• Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
• scientific article; zbMATH DE number 2242582 (Why is no real title available?)
• Soundness of Formal Encryption in the Presence of Key-Cycles

This page was built for publication: Information Security and Cryptology - ICISC 2003

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5714151)