Financially backed covert security
From MaRDI portal
Publication:6169029
DOI10.1007/978-3-030-97131-1_4zbMath1519.94115OpenAlexW4214575069MaRDI QIDQ6169029
Carmit Hazay, David Kretzler, Sebastian Faust, Benjamin Schlosser
Publication date: 10 August 2023
Published in: Public-Key Cryptography – PKC 2022 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-97131-1_4
Related Items
Cites Work
- Refereed delegation of computation
- Generic compiler for publicly verifiable covert multi-party computation
- Black-box transformations from passive to covert security with public verifiability
- Covert security with public verifiability: faster, leaner, and simpler
- Public Verifiability in the Covert Model (Almost) for Free
- How to Use Bitcoin to Design Fair Protocols
- Multiparty Computation from Somewhat Homomorphic Encryption
- Practical Covertly Secure MPC for Dishonest Majority – Or: Breaking the SPDZ Limits
- Security Against Covert Adversaries: Efficient Protocols for Realistic Adversaries
- Calling Out Cheaters: Covert Security with Public Verifiability
- Modeling Bitcoin Contracts by Timed Automata