Basing cryptographic protocols on tamper-evident seals

DOI10.1016/J.TCS.2009.10.023MaRDI QIDQ2268101zbMATH OpenOpenAlexFDO

Authors Tal Moran, Moni Naor

Publication date 10 March 2010

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2009.10.023

zbMATH Keywords

humancoin flippingprotocoltamper-evident sealsuniversally composable

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• Automata, Languages and Programming
• Several weak bit-commitments using seal-once tamper-evident devices
• On key agreement protocols based on tamper-proof hardware
• Founding Cryptography on Tamper-Proof Hardware Tokens
• Cryptography secure against related-key attacks and tampering
• scientific article; zbMATH DE number 1948406
• Tightly secure signatures and public-key encryption
• Tightly Secure Signatures and Public-Key Encryption

Cites work

• scientific article; zbMATH DE number 4051007 (Why is no real title available?)
• An Optimally Fair Coin Toss
• In code. A mathematical journey.
• On the (Im)possibility of Basing Oblivious Transfer and Bit Commitment on Weakened Security Assumptions
• Polling with Physical Envelopes: A Rigorous Analysis of a Human-Centric Protocol
• Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
• Public Key Cryptography – PKC 2004
• Quantum bit escrow
• Synthesizers and their application to the parallel construction of pseudo-random functions
• Theory of Cryptography
• Why quantum bit commitment and ideal quantum coin tossing are impossible.

Cited in

(11)

• How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
• Automata, Languages and Programming
• Another step towards realizing random oracles: non-malleable point obfuscation
• Secure two-party computation: a visual way
• Several weak bit-commitments using seal-once tamper-evident devices
• Founding Cryptography on Tamper-Proof Hardware Tokens
• Unclonable polymers and their cryptographic applications
• Hide a liar: card-based ZKP protocol for Usowan
• Card-minimal protocols for symmetric Boolean functions of more than seven inputs
• New PKI Protocols Using Tamper Resistant Hardware
• Secure computation without computers

This page was built for publication: Basing cryptographic protocols on tamper-evident seals

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