Limits of Constructive Security Proofs

DOI10.1007/978-3-540-89255-7_18MaRDI QIDQ3600381zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Michael Backes, Dominique Unruh

Publication date 10 February 2009

Published in Advances in Cryptology - ASIACRYPT 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89255-7_18

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Limits of provable security from standard assumptions
• Limits on the Power of Zero-Knowledge Proofs in Cryptographic Constructions
• Limits of provable security for homomorphic encryption
• Constructive cryptography -- a new paradigm for security definitions and proofs
• Another look at provable security. (Abstract)
• Fundamental problems in provable security and cryptography
• scientific article; zbMATH DE number 2048525
• Bounded-Deducibility Security (Invited Paper)
• Limits of practical sublinear secure computation
• Proof-based design of security protocols

Cites work

• Formalizing human ignorance
• Foundations of Cryptography
• Foundations of Cryptography
• scientific article; zbMATH DE number 4057439 (Why is no real title available?)
• scientific article; zbMATH DE number 559220 (Why is no real title available?)
• Limits of Constructive Security Proofs
• Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question
• Some observations on the theory of cryptographic hash functions
• Zaps and Their Applications

Cited in

(5)

• Formalizing human ignorance
• Constructive cryptography -- a new paradigm for security definitions and proofs
• Limits on the Power of Zero-Knowledge Proofs in Cryptographic Constructions
• Limits of Constructive Security Proofs
• Magic adversaries versus individual reduction: science wins either way

This page was built for publication: Limits of Constructive Security Proofs

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