Proving SIFA protection of masked redundant circuits (Q2147200): Difference between revisions

@@ Property / cites work @@
+Verified Proofs of Higher-Order Masking
@@ Property / cites work: Verified Proofs of Higher-Order Masking / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
+Normal rank
@@ Property / cites work @@
+Q4364574
@@ Property / cites work: Q4364574 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of masked hardware implementations in the presence of glitches
+Normal rank
@@ Property / cites work @@
+Statistical ineffective fault attacks on masked AES with fault countermeasures
+Normal rank
@@ Property / cites work @@
+My gadget just cares for me -- how NINA can prove security against combined attacks
+Normal rank
@@ Property / cites work @@
+Fault attacks on nonce-based authenticated encryption: application to Keyak and Ketje
+Normal rank
@@ Property / cites work @@
+Reconciling $$d+1$$ Masking in Hardware and Software
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+SILVER -- statistical independence and leakage verification
+Normal rank
@@ Property / cites work @@
+Q4941869
@@ Property / cites work: Q4941869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4788557
@@ Property / cites work: Q4788557 / rank @@
+Normal rank