Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings (Q1761600): Difference between revisions

@@ Property / describes a project that uses @@
+Casper
@@ Property / describes a project that uses: Casper / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2012.04.029
+Normal rank
@@ Property / OpenAlex ID @@
+W2025644930
@@ Property / OpenAlex ID: W2025644930 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of Formal Encryption in the Presence of Key-Cycles
+Normal rank
@@ Property / cites work @@
+A round-optimal three-party ID-based authenticated key agreement protocol
+Normal rank
@@ Property / cites work @@
+Circular-Secure Encryption from Decision Diffie-Hellman
+Normal rank
@@ Property / cites work @@
+A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778861
@@ Property / cites work: Q2778861 / rank @@
+Normal rank
@@ Property / cites work @@
+A pairing-free identity-based authenticated key agreement protocol with minimal message exchanges
+Normal rank
@@ Property / cites work @@
+A survey of symbolic methods in computational analysis of cryptographic systems
+Normal rank
@@ Property / cites work @@
+Sound and complete computational interpretation of symbolic hashes in the standard model
+Normal rank
@@ Property / cites work @@
+A computational interpretation of Dolev-Yao adversaries
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Information Security and Cryptology - ICISC 2003
@@ Property / cites work: Information Security and Cryptology - ICISC 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Proxy re-encryption with keyword search
@@ Property / cites work: Proxy re-encryption with keyword search / rank @@
+Normal rank
@@ Property / cites work @@
+Provably secure one-round identity-based authenticated asymmetric group key agreement protocol
+Normal rank
@@ Property / cites work @@
+Simulatable certificateless two-party authenticated key agreement protocol
+Normal rank
@@ Property / cites work @@
+Group-oriented setting's multisigncryption scheme with threshold designcryption
+Normal rank