scientific article; zbMATH DE number 2009954
From MaRDI portal
Publication:4434874
Recommendations
- scientific article; zbMATH DE number 7651155
- Constructive simulation and topological design of protocols
- scientific article; zbMATH DE number 4191107
- Theory of Cryptography
- Handling expected polynomial-time strategies in simulation-based security proofs
- scientific article; zbMATH DE number 1927559
- Composition of cryptographic protocols in a probabilistic polynomial-time process calculus.
- Strict Polynomial-Time in Simulation and Extraction
Cited in
(53)- Two-round concurrent 2PC from sub-exponential LWE
- NIZKs with maliciously chosen CRS: subversion advice-ZK and accountable soundness
- On concurrent multi-party quantum computation
- Overcoming impossibility results in composable security using interval-wise guarantees
- Concurrent non-malleable commitments (and more) in 3 rounds
- Efficient NIZK arguments with straight-line simulation and extraction
- A unified and composable take on ratcheting
- scientific article; zbMATH DE number 5788647 (Why is no real title available?)
- Indistinguishable proofs of work or knowledge
- Weak Zero-Knowledge beyond the Black-Box Barrier
- Crowd verifiable zero-knowledge and end-to-end verifiable multiparty computation
- Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity
- What Security Can We Achieve Within 4 Rounds?
- scientific article; zbMATH DE number 7651155 (Why is no real title available?)
- A black-box approach to post-quantum zero-knowledge in constant rounds
- One-message zero knowledge and non-malleable commitments
- Composable Adaptive Secure Protocols Without Setup Under Polytime Assumptions
- On constant-round concurrent zero-knowledge from a knowledge assumption
- A new approach to efficient non-malleable zero-knowledge
- Statistical Zaps and new oblivious transfer protocols
- Non-interactive distributional indistinguishability (NIDI) and non-malleable commitments
- Round-optimal blind signatures in the plain model from classical and quantum standard assumptions
- Towards accountability in CRS generation
- Adaptive hardness and composable security in the plain model from standard assumptions
- On the exact round complexity of self-composable two-party computation
- General composition and universal composability in secure multiparty computation
- Maliciously-secure MrNISC in the plain model
- Round-efficient black-box construction of composable multi-party computation
- Unbounded ABE via bilinear entropy expansion, revisited
- Hybrid commitments and their applications to zero-knowledge proof systems
- Concurrently composable non-interactive secure computation
- Constant round adaptively secure protocols in the tamper-proof hardware model
- On non-black-box simulation and the impossibility of approximate obfuscation
- Proofs of Work from worst-case assumptions
- Non-malleable codes for bounded parallel-time tampering
- scientific article; zbMATH DE number 4191107 (Why is no real title available?)
- Public-coin 3-round zero-knowledge from learning with errors and keyless multi-collision-resistant hash
- Knowledge encryption and its applications to simulatable protocols with low round-complexity
- A note on the Dwork-Naor timed deniable authentication
- Steganography-free zero-knowledge
- Succinct non-interactive secure computation
- Impossibility results for universal composability in public-key models and with fixed inputs
- 3-message zero knowledge against human ignorance
- Concurrently composable security with shielded super-polynomial simulators
- What security can we achieve within 4 rounds?
- Local Sequentiality Does Not Help for Concurrent Composition
- Individual simulations
- Adaptive security of multi-party protocols, revisited
- Black-box impossibilities of obtaining 2-round weak ZK and strong WI from polynomial hardness
- Environmentally friendly composable multi-party computation in the plain model from standard (timed) assumptions
- Two-round maliciously secure computation with super-polynomial simulation
- Improved OR-composition of sigma-protocols
- Computing boundary cycle of a pseudo-triangle polygon from its visibility graph
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4434874)
