Certifying assembly with formal security proofs: the case of BBS (Q436406): Difference between revisions

@@ Property / cites work @@
+Certifying assembly with formal security proofs: the case of BBS
+Normal rank
@@ Property / cites work @@
+Formal Proof of Provable Security by Game-Playing in a Proof Assistant
+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 @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+A Simple Unpredictable Pseudo-Random Number Generator
+Normal rank
@@ Property / cites work @@
+Introduction to cryptography. Principles and applications.
+Normal rank
@@ Property / cites work @@
+Q3075246
@@ Property / cites work: Q3075246 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving pointer programs in higher-order logic
@@ Property / cites work: Proving pointer programs in higher-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4718481
@@ Property / cites work: Q4718481 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Multiplication Without Trial Division
@@ Property / cites work: Modular Multiplication Without Trial Division / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional natural semantics and Hoare logic for low-level languages
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank