State separation for code-based game-playing proofs (Q1710673): Difference between revisions

@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols
+Normal rank
@@ Property / cites work @@
+Computer-Aided Security Proofs for the Working Cryptographer
+Normal rank
@@ Property / cites work @@
+Q3374913
@@ Property / cites work: Q3374913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3374905
@@ Property / cites work: Q3374905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234051
@@ Property / cites work: Q4234051 / rank @@
+Normal rank
@@ Property / cites work @@
+The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
+Normal rank
@@ Property / cites work @@
+Non-uniform Cracks in the Concrete: The Power of Free Precomputation
+Normal rank
@@ Property / cites work @@
+Proving the TLS Handshake Secure (As It Is)
@@ Property / cites work: Proving the TLS Handshake Secure (As It Is) / rank @@
+Normal rank
@@ Property / cites work @@
+State separation for code-based game-playing proofs
+Normal rank
@@ Property / cites work @@
+A formal security analysis of the Signal messaging protocol
+Normal rank
@@ Property / cites work @@
+Design and Analysis of Practical Public-Key Encryption Schemes Secure against Adaptive Chosen Ciphertext Attack
+Normal rank
@@ Property / cites work @@
+Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal
+Normal rank
@@ Property / cites work @@
+A cryptographic analysis of the TLS 1.3 handshake protocol
+Normal rank
@@ Property / cites work @@
+GNUC: a new universal composability framework
@@ Property / cites work: GNUC: a new universal composability framework / rank @@
+Normal rank
@@ Property / cites work @@
+On the Security of TLS-DHE in the Standard Model
@@ Property / cites work: On the Security of TLS-DHE in the Standard Model / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+(De-)Constructing TLS 1.3
@@ Property / cites work: (De-)Constructing TLS 1.3 / rank @@
+Normal rank
@@ Property / cites work @@
+HMQV: A High-Performance Secure Diffie-Hellman Protocol
+Normal rank
@@ Property / cites work @@
+On the Security of the TLS Protocol: A Systematic Analysis
+Normal rank
@@ Property / cites work @@
+Constructive Cryptography – A Primer
@@ Property / cites work: Constructive Cryptography – A Primer / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
+Normal rank
@@ Property / cites work @@
+Q4737239
@@ Property / cites work: Q4737239 / rank @@
+Normal rank
@@ Property / cites work @@
+An equational approach to secure multi-party computation
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Long-Term Security and Universal Composability
@@ Property / cites work: Long-Term Security and Universal Composability / rank @@
+Normal rank
@@ Property / cites work @@
+Careful with Composition: Limitations of the Indifferentiability Framework
+Normal rank
@@ Property / cites work @@
+Formalizing Human Ignorance
@@ Property / cites work: Formalizing Human Ignorance / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent types and multi-monadic effects in F*
@@ Property / cites work: Dependent types and multi-monadic effects in F* / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473975
@@ Property / cites work: Q4473975 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplified Universal Composability Framework
@@ Property / cites work: Simplified Universal Composability Framework / rank @@
+Normal rank