Maël Gay

2019

1. Automatic construction of fault attacks on cryptographic hardware implementations. Ilia Polian; Maël Gay; Tobias Paxian; Matthias Sauer and Bernd Becker. In Automated Methods in Cryptographic Fault Analysis, Jakub Breier; Xiaolu Hou and Shivam Bhasin (eds.). Springer International Publishing, Cham, 2019, pp. 151–170. DOI: https://doi.org/10.1007/978-3-030-11333-9_6
   • Abstract
   • BibTeX
   • Link
   • DOI

   Abstract

   Fault attacks are an essential threat to security of cryptographic functions. This chapter focuses on underlying concepts of fault attacks on cryptographic circuit implementations. Rather than targeting a specific cipher, the presented approach aims at an automatic construction of fault attacks from the circuit description. A Boolean formula that describes the circuit operation and the fault injection is generated and handed over to a SAT solver; an adversary can deduce protected information, e.g., the secret key, from the solution. The chapter also includes a comparison of the described methodology with other existing fault attack frameworks that are not specifically targeted towards circuit implementations.

   BibTeX

   @inbook{polian2019automatic, abstract = {Fault attacks are an essential threat to security of cryptographic functions. This chapter focuses on underlying concepts of fault attacks on cryptographic circuit implementations. Rather than targeting a specific cipher, the presented approach aims at an automatic construction of fault attacks from the circuit description. A Boolean formula that describes the circuit operation and the fault injection is generated and handed over to a SAT solver; an adversary can deduce protected information, e.g., the secret key, from the solution. The chapter also includes a comparison of the described methodology with other existing fault attack frameworks that are not specifically targeted towards circuit implementations.}, abteilung = {hocos}, address = {Cham}, author = {Polian, Ilia and Gay, Maël and Paxian, Tobias and Sauer, Matthias and Becker, Bernd}, booktitle = {Automated Methods in Cryptographic Fault Analysis}, chapter = 6, doi = {10.1007/978-3-030-11333-9_6}, editor = {Breier, Jakub and Hou, Xiaolu and Bhasin, Shivam}, isbn = {978-3-030-11332-2}, pages = {151-170}, publisher = {Springer International Publishing}, title = {Automatic construction of fault attacks on cryptographic hardware implementations}, url = {https://doi.org/10.1007/978-3-030-11333-9_6}, year = 2019 }

   Link

   https://doi.org/10.1007/978-3-030-11333-9_6

   DOI

   10.1007/978-3-030-11333-9_6