maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults
Barthe, Gilles ; Belaïd, Sonia ; Cassiers, Gaëtan ; Fouque, Pierre-Alain ; Grégoire, Benjamin ; Standaert, Francois-Xavier
Computer Security – ESORICS 2019, p.300-318 [Periódico revisado por pares]Cham: Springer International Publishing
Sem texto completo