Automated analysis of cryptographic assumptions in generic group models (Q2423840): Difference between revisions

@@ Property / author @@
-John C. Mitchell
@@ Property / author: John C. Mitchell / rank @@
-Normal rank
@@ Property / author @@
-Andrej Scedrov
@@ Property / author: Andrej Scedrov / rank @@
-Normal rank
@@ Property / author @@
+John C. Mitchell
@@ Property / author: John C. Mitchell / rank @@
+Normal rank
@@ Property / author @@
+Andrej Scedrov
@@ Property / author: Andrej Scedrov / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / 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.1007/s00145-018-9302-3
+Normal rank
@@ Property / OpenAlex ID @@
+W3194642185
@@ Property / OpenAlex ID: W3194642185 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536407
@@ Property / cites work: Q4536407 / rank @@
+Normal rank
@@ Property / cites work @@
+Financial Cryptography and Data Security
@@ Property / cites work: Financial Cryptography and Data Security / rank @@
+Normal rank
@@ Property / cites work @@
+Practical functional encryption for quadratic functions with applications to predicate encryption
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+The k-BDH Assumption Family: Bilinear Map Cryptography from Progressively Weaker Assumptions
+Normal rank
@@ Property / cites work @@
+Security Protocol Verification: Symbolic and Computational Models
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - EUROCRYPT 2004
@@ Property / cites work: Advances in Cryptology - EUROCRYPT 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Identity Based Encryption with Constant Size Ciphertext
+Normal rank
@@ Property / cites work @@
+Q4783728
@@ Property / cites work: Q4783728 / rank @@
+Normal rank
@@ Property / cites work @@
+Collusion Resistant Broadcast Encryption with Short Ciphertexts and Private Keys
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+The Uber-Assumption Family
@@ Property / cites work: The Uber-Assumption Family / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
+Normal rank
@@ Property / cites work @@
+Q3139838
@@ Property / cites work: Q3139838 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebraic Framework for Diffie-Hellman Assumptions
+Normal rank
@@ Property / cites work @@
+Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime-Order Groups
+Normal rank
@@ Property / cites work @@
+Witness encryption and its applications
@@ Property / cites work: Witness encryption and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Structure-Preserving Signatures on Equivalence Classes and Their Application to Anonymous Credentials
+Normal rank
@@ Property / cites work @@
+Full Domain Hash from (Leveled) Multilinear Maps and Identity-Based Aggregate Signatures
+Normal rank
@@ Property / cites work @@
+The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
+Normal rank
@@ Property / cites work @@
+On the Equivalence of Generic Group Models
@@ Property / cites work: On the Equivalence of Generic Group Models / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products
+Normal rank
@@ Property / cites work @@
+Predicate encryption supporting disjunctions, polynomial equations, and inner products
+Normal rank
@@ Property / cites work @@
+Q4949336
@@ Property / cites work: Q4949336 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptography and Coding
@@ Property / cites work: Cryptography and Coding / rank @@
+Normal rank
@@ Property / cites work @@
+Diffie-Hellman Oracles
@@ Property / cites work: Diffie-Hellman Oracles / 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 @@
+Complexity of a determinate algorithm for the discrete logarithm
+Normal rank
@@ Property / cites work @@
+Fully Secure Functional Encryption with General Relations from the Decisional Linear Assumption
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Tarski
@@ Property / cites work: Solution of a problem of Tarski / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Probabilistic Algorithms for Verification of Polynomial Identities
+Normal rank
@@ Property / cites work @@
+A Note on Chosen-Basis Decisional Diffie-Hellman Assumptions
+Normal rank
@@ Property / cites work @@
+Q3851616
@@ Property / cites work: Q3851616 / rank @@
+Normal rank