Adaptive security of symbolic encryption

DOI10.1007/978-3-540-30576-7_10MaRDI QIDQ5711642zbMATH OpenOpenAlexFDO

Authors Daniele Micciancio, Saurabh Panjwani

Publication date 7 December 2005

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

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

zbMATH Keywords

adaptive adversariesformal methods for security protocolssoundness theoremSymbolic encryption

Mathematics Subject Classification ID

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

Recommendations

• Tackling Adaptive Corruptions in Multicast Encryption Protocols
• Security proof with dishonest keys
• Computational soundness of coinductive symbolic security under active attacks
• Universally composable symbolic security analysis
• A survey of symbolic methods in computational analysis of cryptographic systems

Cited in

(21)

• Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings
• Handling adaptive compromise for practical encryption schemes
• Moving the bar on computationally sound exclusive-or
• The RSA group is pseudo-free
• Universally composable symbolic security analysis
• Sound and complete computational interpretation of symbolic hashes in the standard model
• Logics for reasoning about cryptographic constructions
• Towards symbolic encryption schemes
• Explicit randomness is not necessary when modeling probabilistic encryption
• Security proof with dishonest keys
• Adaptive Witness Encryption and Asymmetric Password-Based Cryptography
• Degrees of security: protocol guarantees in the face of compromising adversaries
• Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption
• Tackling Adaptive Corruptions in Multicast Encryption Protocols
• Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption
• Computational soundness of coinductive symbolic security under active attacks
• A survey of symbolic methods in computational analysis of cryptographic systems
• Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups
• Soundness of Formal Encryption in the Presence of Key-Cycles
• Theory of Cryptography
• Circular insecure encryption: from long cycles to short cycles

This page was built for publication: Adaptive security of symbolic encryption

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