Cryptographic Fault Diagnosis using VerFI

2020 - Victor Arribas, Felix Wegener, Amir Moradi, Svetla Nikova

IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2020, San Jose, USA, May 4-7, 2020. [pdf] [GitHub (ver 1)] [GitHub (ver 2 Beta)]

Impeccable Circuits

2019 - Anita Aghaie, Amir Moradi, Shahram Rasoolzadeh, Aein Rezaei Shahmirzadi, Falk Schellenberg, Tobias Schneider

IEEE Transactions on Computers, 2019. [DOI] [pdf] [HDL code]