Lost in Translation: Fault Analysis of Infective Security Proofs | IEEE Conference Publication | IEEE Xplore