Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (Q2802495): Difference between revisions

@@ Property / author @@
-Andreas Lochbihler
@@ Property / author: Andreas Lochbihler / rank @@
-Normal rank
@@ Property / cites work @@
+EasyCrypt
@@ Property / cites work: EasyCrypt / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Formalization of Shannon's theorems
@@ Property / cites work: Formalization of Shannon's theorems / rank @@
+Normal rank
@@ Property / cites work @@
+The Max-Flow Min-Cut theorem for countable networks
+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 @@
+Locales: a module system for mathematical theories
+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 @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
+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 @@
+Foundational extensible corecursion: a proof assistant perspective
+Normal rank
@@ Property / cites work @@
+A survey of symbolic methods in computational analysis of cryptographic systems
+Normal rank
@@ Property / cites work @@
+A public key cryptosystem and a signature scheme based on discrete logarithms
+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 @@
+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 @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4222961
@@ Property / cites work: Q4222961 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Framework for Probabilistic Characterizing Formulae
+Normal rank
@@ Property / cites work @@
+Secure distributed programming with value-dependent types
+Normal rank
@@ Property / describes a project that uses @@
+EasyCrypt
@@ Property / describes a project that uses: EasyCrypt / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Transfer
@@ Property / describes a project that uses: Transfer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lifting
@@ Property / describes a project that uses: Lifting / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+F*
@@ Property / describes a project that uses: F* / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Locales
@@ Property / describes a project that uses: Locales / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+pGCL
@@ Property / describes a project that uses: pGCL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Autoref
@@ Property / describes a project that uses: Autoref / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Zoo Probabilistic Systems
@@ Property / describes a project that uses: Zoo Probabilistic Systems / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoSP
@@ Property / describes a project that uses: CoSP / rank @@
+Normal rank
@@ Property / author @@
+Andreas Lochbihler
@@ Property / author: Andreas Lochbihler / 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/978-3-662-49498-1_20
+Normal rank
@@ Property / OpenAlex ID @@
+W2467040566
@@ Property / OpenAlex ID: W2467040566 / rank @@
+Normal rank