On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments (Q2044755): Difference between revisions

@@ Property / cites work @@
+Q2724434
@@ Property / cites work: Q2724434 / rank @@
+Normal rank
@@ Property / cites work @@
+Session resumption protocols and efficient forward security for TLS 1.3 0-RTT
+Normal rank
@@ Property / cites work @@
+Tightly-Secure Authenticated Key Exchange
@@ Property / cites work: Tightly-Secure Authenticated Key Exchange / rank @@
+Normal rank
@@ Property / cites work @@
+On the Impossibility of Tight Cryptographic Reductions
+Normal rank
@@ Property / cites work @@
+New proofs for NMAC and HMAC: security without collision resistance
+Normal rank
@@ Property / cites work @@
+Keying Hash Functions for Message Authentication
@@ Property / cites work: Keying Hash Functions for Message Authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation without the Artificial Abort: Simplified Proof and Improved Concrete Security for Waters’ IBE Scheme
+Normal rank
@@ Property / cites work @@
+Q4341751
@@ Property / cites work: Q4341751 / rank @@
+Normal rank
@@ Property / cites work @@
+The Multi-user Security of Authenticated Encryption: AES-GCM in TLS 1.3
+Normal rank
@@ Property / cites work @@
+High-Speed High-Security Signatures
@@ Property / cites work: High-Speed High-Security Signatures / rank @@
+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 @@
+Q3840150
@@ Property / cites work: Q3840150 / rank @@
+Normal rank
@@ Property / cites work @@
+PRF-ODH: relations, instantiations, and impossibility results
+Normal rank
@@ Property / cites work @@
+Highly efficient key exchange protocols with optimal tightness
+Normal rank
@@ Property / cites work @@
+Q4737250
@@ Property / cites work: Q4737250 / rank @@
+Normal rank
@@ Property / cites work @@
+New directions in cryptography
@@ Property / cites work: New directions in cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Message Authentication Codes from Unpredictable Block Ciphers
+Normal rank
@@ Property / cites work @@
+Modelling Ciphersuite and Version Negotiation in the TLS Protocol
+Normal rank
@@ Property / cites work @@
+On the one-per-message unforgeability of (EC)DSA and its variants
+Normal rank
@@ Property / cites work @@
+Practical and tightly-secure digital signatures and authenticated key exchange
+Normal rank
@@ Property / cites work @@
+A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
+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 @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptographic Extraction and Key Derivation: The HKDF Scheme
+Normal rank
@@ Property / cites work @@
+On the Security of the TLS Protocol: A Systematic Analysis
+Normal rank
@@ Property / cites work @@
+On the bit security of cryptographic primitives
@@ Property / cites work: On the bit security of cryptographic primitives / rank @@
+Normal rank
@@ Property / cites work @@
+A Modular Security Analysis of the TLS Handshake Protocol
+Normal rank
@@ Property / cites work @@
+Extracting randomness: A survey and new constructions
+Normal rank
@@ Property / cites work @@
+Randomness is linear in space
@@ Property / cites work: Randomness is linear in space / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724585
@@ Property / cites work: Q2724585 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Human Ignorance
@@ Property / cites work: Formalizing Human Ignorance / rank @@
+Normal rank