Alberto Battistello, Christophe Giraud. Lost in Translation: Fault Analysis of Infective Security Proofs. In Naofumi Homma, Victor Lomné, editors, 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography, FDTC 2015, Saint Malo, France, September 13, 2015. pages 45-53, IEEE, 2015. [doi]
Abstract is missing.