maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults.

Gilles Barthe, Sonia Belad, Gatan Cassiers, Pierre-Alain Fouque, Benjamin Grgoire, Franois-Xavier Standaert

Browse the full ESORICS paper archive.