VerMI: Verification Tool for Masked Implementations

Victor Arribas, Svetla Nikova, Vincent Rijmen. VerMI: Verification Tool for Masked Implementations. IACR Cryptology ePrint Archive, 2017:1227, 2017. [doi]

Abstract

Abstract is missing.