Certified compilation for cryptography: extended x86 instructions and constant-time verification (Q2152025): Difference between revisions

@@ Property / cites work @@
+Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
+Normal rank
@@ Property / cites work @@
+Program Logics for Certified Compilers
@@ Property / cites work: Program Logics for Certified Compilers / rank @@
+Normal rank
@@ Property / cites work @@
+System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
+Normal rank
@@ Property / cites work @@
+An abstract memory functor for verified C static analyzers
+Normal rank
@@ Property / cites work @@
+Robust Authenticated-Encryption AEZ and the Problem That It Solves
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Information Security and Cryptology - ICISC 2005
@@ Property / cites work: Information Security and Cryptology - ICISC 2005 / rank @@
+Normal rank