International Association for Cryptologic Research

International Association
for Cryptologic Research


SILVER - Statistical Independence and Leakage Verification

David Knichel
Pascal Sasdrich
Amir Moradi
DOI: 10.1007/978-3-030-64837-4_26
Search ePrint
Search Google
Presentation: Slides
Abstract: Implementing cryptographic functions securely in the presence of physical adversaries is still a challenge although a lion's share of research in the physical security domain has been put in development of countermeasures. Among several protection schemes, masking has absorbed the most attention of research in both academic and industrial communities, due to its theoretical foundation allowing to provide proofs or model the achieved security level. In return, masking schemes are difdicult to implement as the implementation process often is manual, complex, and error-prone. This motivated the need for formal verification tools that allow the designers and engineers to analyze and verify the designs before manufacturing. In this work, we present a new framework to analyze and verify masked implementations against various security notions using different security models as reference. In particular, our framework { which directly processes the resulting gate-level netlist of a hardware synthesis { particularly relies on Reduced Ordered Binary Decision Diagrams (ROBDDs) and the concept of statistical independence of probability distributions. Compared to existing tools, our framework captivates due to its simplicity, accuracy, and functionality while still having a reasonable efficiency for many applications and common use-cases.
Video from ASIACRYPT 2020
  title={SILVER - Statistical Independence and Leakage Verification},
  booktitle={Advances in Cryptology - ASIACRYPT 2020},
  author={David Knichel and Pascal Sasdrich and Amir Moradi},