Universally Composable Multi-party Computation Using Tamper-Proof Hardware

DOI10.1007/978-3-540-72540-4_7zbMath1141.94360OpenAlexW1542455165MaRDI QIDQ5429386

Jonathan N. Katz

Publication date: 29 November 2007

Published in: Advances in Cryptology - EUROCRYPT 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72540-4_7

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (32)

Secure computation from one-way noisy communication, or: anti-correlation via anti-concentration ⋮ Pattern matching on encrypted streams ⋮ Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity ⋮ Concurrent Secure Computation via Non-Black Box Simulation ⋮ Concurrent Secure Computation with Optimal Query Complexity ⋮ Another step towards realizing random oracles: non-malleable point obfuscation ⋮ Everlasting UC commitments from fully malicious PUFs ⋮ Unclonable polymers and their cryptographic applications ⋮ Feasibility and infeasibility of secure computation with malicious PUFs ⋮ Compact and Efficient UC Commitments Under Atomic-Exchanges ⋮ Universally Composable Firewall Architectures Using Trusted Hardware ⋮ Weakening the Isolation Assumption of Tamper-Proof Hardware Tokens ⋮ (Efficient) universally composable oblivious transfer using a minimal number of stateless tokens ⋮ Fully-secure MPC with minimal trust ⋮ Lifting standard model reductions to common setup assumptions ⋮ On concurrent multi-party quantum computation ⋮ Non-interactive secure computation from one-way functions ⋮ Secure Outsourced Computation ⋮ Constant Round Adaptively Secure Protocols in the Tamper-Proof Hardware Model ⋮ Formal Abstractions for Attested Execution Secure Processors ⋮ Concurrently Composable Security with Shielded Super-Polynomial Simulators ⋮ Unconditional UC-Secure Computation with (Stronger-Malicious) PUFs ⋮ One-Time Programs ⋮ Isolated Proofs of Knowledge and Isolated Zero Knowledge ⋮ David and Goliath Commitments: UC Computation for Asymmetric Parties Using Tamper-Proof Hardware ⋮ Secure Set Intersection with Untrusted Hardware Tokens ⋮ Resettably Secure Computation ⋮ UC Commitments for Modular Protocol Design and Applications to Revocation and Attribute Tokens ⋮ Founding Cryptography on Tamper-Proof Hardware Tokens ⋮ Truly Efficient String Oblivious Transfer Using Resettable Tamper-Proof Tokens ⋮ Universally Composable Security Analysis of TLS ⋮ Equivocating Yao: Constant-Round Adaptively Secure Multiparty Computation in the Plain Model

This page was built for publication: Universally Composable Multi-party Computation Using Tamper-Proof Hardware