@inproceedings{c4eb1f99fd824a05ab1e5fe06cb81780,
title = "A Methodology for the Characterisation of Leakages in Combinatorial Logic",
abstract = "Glitches represent a great danger for hardware implementations of cryptographic schemes. Their intrinsic random nature makes them difficult to tackle and their occurrence threatens side-channel protections. Although countermeasures aiming at structurally solving the problem already exist, they usually require some effort to be applied or introduce non-negligible overhead in the design. Our work addresses the gap between such countermeasures and the na{\"i}ve implementation of schemes being vulnerable in the presence of glitches. Our contribution is twofold: (1) we expand the mathematical framework proposed by Brzozowski and {\'E}sik (FMSD 2003) by meaningfully adding the notion of information leakage, (2) thanks to which we define a formal methodology for the analysis of vulnerabilities in combinatorial circuits when glitches are taken into account.",
keywords = "Formal method, Glitches, Hardware countermeasures, Side-channel analysis",
author = "Guido Bertoni and Marco Martinoli",
year = "2016",
month = nov,
day = "18",
doi = "10.1007/978-3-319-49445-6\_21",
language = "English",
isbn = "9783319494449",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "363--382",
booktitle = "Security, Privacy, and Applied Cryptography Engineering",
address = "Germany",
note = "6th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2016 ; Conference date: 14-12-2016 Through 18-12-2016",
}