Pages that link to "Item:Q5428141"
From MaRDI portal
The following pages link to Advances in Cryptology - CRYPTO 2003 (Q5428141):
Displayed 13 items.
- A computational interpretation of Dolev-Yao adversaries (Q557888) (← links)
- Universally composable symbolic security analysis (Q2429708) (← links)
- Unifying simulatability definitions in cryptographic systems under different timing assumptions (Q2484407) (← links)
- Augmented Learning with Errors: The Untapped Potential of the Error Term (Q2948191) (← links)
- A Brief History of Provably-Secure Public-Key Encryption (Q3506393) (← links)
- Relationship between Two Approaches for Defining the Standard Model PA-ness (Q3511156) (← links)
- Cramer-Shoup Satisfies a Stronger Plaintext Awareness under a Weaker Assumption (Q3540039) (← links)
- Certified Encryption Revisited (Q3637140) (← links)
- Online-Untransferable Signatures (Q5445457) (← links)
- A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol (Q5862307) (← links)
- Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos (Q5862527) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)
- Post-quantum plaintext-awareness (Q6166987) (← links)