Pages that link to "Item:Q2119089"
From MaRDI portal
The following pages link to Expected-time cryptography: generic techniques and applications to concrete soundness (Q2119089):
Displaying 14 items.
- Handling expected polynomial-time strategies in simulation-based security proofs (Q1021232) (← links)
- Tighter security for Schnorr identification and signatures: a high-moment forking lemma for \({\varSigma }\)-protocols (Q2120075) (← links)
- Sumcheck arguments and their applications (Q2120101) (← links)
- Subtractive sets over cyclotomic rings. Limits of Schnorr-like arguments over lattices (Q2128574) (← links)
- A compressed \(\varSigma \)-protocol theory for lattices (Q2128575) (← links)
- Tight state-restoration soundness in the algebraic group model (Q2128989) (← links)
- Theory of Cryptography (Q5711671) (← links)
- Fiat-Shamir transformation of multi-round interactive proofs (Extended version) (Q6134420) (← links)
- Fiat-Shamir transformation of multi-round interactive proofs (Q6169350) (← links)
- Tighter security for Schnorr identification and signatures: a high-moment forking lemma for \(\Sigma\)-protocols (Q6570528) (← links)
- Rogue-instance security for batch knowledge proofs (Q6581786) (← links)
- Bulletproofs++: next generation confidential transactions via reciprocal set membership arguments (Q6637547) (← links)
- Fiat-Shamir bulletproofs are non-malleable (in the Random Oracle Model) (Q6655876) (← links)
- On the concrete security of non-interactive FRI (Q6660394) (← links)
