Keyword:Synergies between security and reliability

Publications
Detection and Correction of Malicious and Natural Faults in Cryptographic Modules Batya Karp, Maël Gay, Osnat Keren and Ilia Polian In:PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems