Detection and Correction of Malicious and Natural Faults in Cryptographic Modules
B. Karp, M. Gay, O. Keren, and I. Polian. PROOFS 2018 : 7th International Workshop on Security Proofs for Embedded Systems, 7, page 68-82. EasyChair Publications, (2018)
DOI: 10.29007/w37p