Formal verification of side-channel countermeasures using self-composition (Q2442950): Difference between revisions

@@ Property / cites work @@
+Transforming out timing leaks
@@ Property / cites work: Transforming out timing leaks / rank @@
+Normal rank
@@ Property / cites work @@
+Stack-based access control and secure information flow
+Normal rank
@@ Property / cites work @@
+Secure information flow by self-composition
@@ Property / cites work: Secure information flow by self-composition / rank @@
+Normal rank
@@ Property / cites work @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+Faster and Timing-Attack Resistant AES-GCM
@@ Property / cites work: Faster and Timing-Attack Resistant AES-GCM / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic approach to secure information flow
@@ Property / cites work: A semantic approach to secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+Information Security and Cryptology - ICISC 2005
@@ Property / cites work: Information Security and Cryptology - ICISC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Topics in Cryptology – CT-RSA 2006
@@ Property / cites work: Topics in Cryptology – CT-RSA 2006 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank