Lost in Translation: Fault Analysis of Infective Security Proofs.

Alberto Battistello, Christophe Giraud

Browse the full FDTC paper archive.