Pages that link to "Item:Q2274235"
From MaRDI portal
The following pages link to Critical perspectives on provable security: fifteen years of ``another look'' papers (Q2274235):
Displaying 8 items.
- Another look at ``provable security'' (Q882771) (← links)
- Another look at security definitions (Q1948447) (← links)
- Tight and optimal reductions for signatures based on average trapdoor preimage sampleable functions and applications to code-based signatures (Q2055702) (← links)
- (Q5068487) (← links)
- On methods of shortening ElGamal-type signatures (Q5071464) (← links)
- Another Look at “Provable Security”. II (Q5458272) (← links)
- Formal verification of Saber's public-key encryption scheme in easycrypt (Q6155272) (← links)
- Formalizing Coppersmith's method in Isabelle/HOL (Q6648162) (← links)