Verifying constant-time implementations by abstract interpretation (Q2167720): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2745299473
@@ Property / OpenAlex ID: W2745299473 / rank @@
+Normal rank
@@ Property / cites work @@
+Public Key Cryptography - PKC 2006
@@ Property / cites work: Public Key Cryptography - PKC 2006 / rank @@
+Normal rank
@@ Property / cites work @@
+The Security Impact of a New Cryptographic Library
+Normal rank
@@ Property / cites work @@
+An abstract memory functor for verified C static analyzers
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A lattice model of secure information flow
@@ Property / cites work: A lattice model of secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Information flow inference for ML
@@ Property / cites work: Information flow inference for ML / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484891
@@ Property / cites work: Q4484891 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing the LLVM intermediate representation for verified program transformations
+Normal rank