CryptHOL: game-based proofs in higher-order logic (Q2175214): Difference between revisions

@@ Property / DOI @@
-.1007/s00145-019-09341-z
@@ Property / DOI: 10.1007/s00145-019-09341-z / rank @@
-Normal rank
@@ Property / cites work @@
+Complete Characterization of Fairness in Secure Two-Party Computation of Boolean Functions
+Normal rank
@@ Property / cites work @@
+Proofs of randomized algorithms in Coq
@@ Property / cites work: Proofs of randomized algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Language for Cryptographic Pseudocode
@@ Property / cites work: A Formal Language for Cryptographic Pseudocode / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic relational verification for cryptographic implementations
+Normal rank
@@ Property / cites work @@
+Computer-Aided Security Proofs for the Working Cryptographer
+Normal rank
@@ Property / cites work @@
+Coupling proofs are probabilistic product programs
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+Q4012877
@@ Property / cites work: Q4012877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3374913
@@ Property / cites work: Q3374913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365732
@@ Property / cites work: Q4365732 / 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 @@
+Logic-Free Reasoning in Isabelle/Isar
@@ Property / cites work: Logic-Free Reasoning in Isabelle/Isar / rank @@
+Normal rank
@@ Property / cites work @@
+Friends with Benefits
@@ Property / cites work: Friends with Benefits / rank @@
+Normal rank
@@ Property / cites work @@
+Truly Modular (Co)datatypes for Isabelle/HOL
@@ Property / cites work: Truly Modular (Co)datatypes for Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+How to simulate it in Isabelle: towards formal proof for secure multi-party computation
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination and Composability of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+A public key cryptosystem and a signature scheme based on discrete logarithms
+Normal rank
@@ Property / cites work @@
+Probabilistic encryption
@@ Property / cites work: Probabilistic encryption / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Fairness in Secure Two-Party Computation
@@ Property / cites work: Complete Fairness in Secure Two-Party Computation / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Pure Functional?
@@ Property / cites work: What Is a Pure Functional? / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalized Hierarchy of Probabilistic System Types
+Normal rank
@@ Property / cites work @@
+Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+How to protect DES against exhaustive key search (an analysis of DESX).
+Normal rank
@@ Property / cites work @@
+Q4178385
@@ Property / cites work: Q4178385 / rank @@
+Normal rank
@@ Property / cites work @@
+Another look at ``provable security''
@@ Property / cites work: Another look at ``provable security'' / rank @@
+Normal rank
@@ Property / cites work @@
+A Consistent Foundation for Isabelle/HOL
@@ Property / cites work: A Consistent Foundation for Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending Isabelle/HOL’s Consistency
@@ Property / cites work: Comprehending Isabelle/HOL’s Consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Data Refinement
@@ Property / cites work: Automatic Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779128
@@ Property / cites work: Q4779128 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks
+Normal rank
@@ Property / cites work @@
+Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
+Normal rank
@@ Property / cites work @@
+Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
+Normal rank
@@ Property / cites work @@
+An equational approach to secure multi-party computation
+Normal rank
@@ Property / cites work @@
+Q4077434
@@ Property / cites work: Q4077434 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Formal Abstractions for Attested Execution Secure Processors
+Normal rank
@@ Property / cites work @@
+The coinductive resumption monad
@@ Property / cites work: The coinductive resumption monad / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+A General Framework for Probabilistic Characterizing Formulae
+Normal rank
@@ Property / cites work @@
+Q4783729
@@ Property / cites work: Q4783729 / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptography made simple
@@ Property / cites work: Cryptography made simple / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409112
@@ Property / cites work: Q4409112 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure distributed programming with value-dependent types
+Normal rank
@@ Property / cites work @@
+A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
+Normal rank
@@ Property / DOI @@
+.1007/S00145-019-09341-Z
@@ Property / DOI: 10.1007/S00145-019-09341-Z / rank @@
+Normal rank