The TLS handshake protocol: A modular analysis (Q2267369): Difference between revisions

@@ Property / cites work @@
+Public Key Cryptography - PKC 2005
@@ Property / cites work: Public Key Cryptography - PKC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737237
@@ Property / cites work: Q4737237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542560
@@ Property / cites work: Q4542560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2707451
@@ Property / cites work: Q2707451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3374905
@@ Property / cites work: Q3374905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341751
@@ Property / cites work: Q4341751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365732
@@ Property / cites work: Q4365732 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234051
@@ Property / cites work: Q4234051 / rank @@
+Normal rank
@@ Property / cites work @@
+Key agreement protocols and their security analysis
+Normal rank
@@ Property / cites work @@
+Q4387321
@@ Property / cites work: Q4387321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249316
@@ Property / cites work: Q4249316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474181
@@ Property / cites work: Q4474181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778861
@@ Property / cites work: Q2778861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737255
@@ Property / cites work: Q4737255 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409115
@@ Property / cites work: Q4409115 / rank @@
+Normal rank
@@ Property / cites work @@
+Examining Indistinguishability-Based Proof Models for Key Establishment Protocols
+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 @@
+Universally Composable Security Analysis of TLS
@@ Property / cites work: Universally Composable Security Analysis of TLS / rank @@
+Normal rank
@@ Property / cites work @@
+The Layered Games Framework for Specifications and Analysis of Security Protocols
+Normal rank
@@ Property / cites work @@
+Q4409114
@@ Property / cites work: Q4409114 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783733
@@ Property / cites work: Q4783733 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Security Proofs for Key Agreement Protocols
+Normal rank