Robust and secure implementation: equivalence theorems

DOI10.1016/J.GEB.2014.03.015zbMATH Open1296.91096OpenAlexW2011384232MaRDI QIDQ2016223FDOQ2016223

Authors: Tsuyoshi Adachi 

Publication date: 19 June 2014

Published in: Games and Economic Behavior (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.geb.2014.03.015

Recommendations

• Safe equivalences for security properties
• Complete robustness in identity-based encryption
• Equational security proofs of oblivious transfer protocols
• scientific article; zbMATH DE number 1030995
• Robust authenticated encryption and the limits of symmetric cryptography
• The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
• A decidable class of security protocols for both reachability and equivalence properties
• Strong and tight security guarantees against integral distinguishers
• On the equivalence of authentication codes and robust (2, 2)-threshold schemes
• Efficient perfectly secure computation with optimal resilience

zbMATH Keywords

secure implementationrobust implementationprivate valuesfull implementation

Mathematics Subject Classification ID

Social choice (91B14) Auctions, bargaining, bidding and selling, and other market models (91B26)

Cites Work

• Robust Mechanism Design
• Robust implementation in direct mechanisms
• Implementation in differential information economies
• Implementation with Incomplete Information in Exchange Economies
• Bayesian Implementation
• Robust implementation in general mechanisms
• Secure implementation in economies with indivisible objects and money
• Secure implementation in allotment economies
• Robust virtual implementation: toward a reinterpretation of the Wilson doctrine
• Secure implementation in Shapley-Scarf housing markets
• Strategic requirements with indifference: single-peaked versus single-plateaued preferences

Cited In (4)

• Sub-core solutions of the problem of strong implementation
• Securely implementable social choice rules with partially honest agents
• The robustness of robust implementation
• Robust coalitional implementation

This page was built for publication: Robust and secure implementation: equivalence theorems

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