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

@@ Property / DOI @@
-.1016/j.scico.2011.07.003
@@ Property / DOI: 10.1016/j.scico.2011.07.003 / rank @@
-Normal rank
@@ Property / author @@
-David E. Nowak
@@ Property / author: David E. Nowak / rank @@
-Normal rank
@@ Property / author @@
+David E. Nowak
@@ Property / author: David E. Nowak / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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.scico.2011.07.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2080143965
@@ Property / OpenAlex ID: W2080143965 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.SCICO.2011.07.003
@@ Property / DOI: 10.1016/J.SCICO.2011.07.003 / rank @@
+Normal rank