The following pages link to Theory of Cryptography (Q5711642):
Displaying 12 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings (Q1761600) (← links)
- Handling adaptive compromise for practical encryption schemes (Q2096475) (← links)
- The RSA group is pseudo-free (Q2267366) (← links)
- Universally composable symbolic security analysis (Q2429708) (← links)
- Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980) (← links)
- Logics for reasoning about cryptographic constructions (Q2490263) (← links)
- Explicit randomness is not necessary when modeling probabilistic encryption (Q2866728) (← links)
- Adaptive Witness Encryption and Asymmetric Password-Based Cryptography (Q2941198) (← links)
- Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption (Q3631375) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)
- Theory of Cryptography (Q5901769) (← links)
