Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadata

https://hal.inria.fr/hal-02470965
Contributor : Isabelle Monjaret <>
Submitted on : Friday, February 7, 2020 - 4:20:46 PM
Last modification on : Friday, July 10, 2020 - 4:25:02 PM

Identifiers

  • HAL Id : hal-02470965, version 1

Citation

Gilles Barthe, Sonia Belaïd, Gaëtan Cassiers, Pierre-Alain Fouque, Benjamin Grégoire, et al.. MaskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults.. ESORICS 2019 The European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg. pp.300-318. ⟨hal-02470965⟩

Share

Metrics

Record views

51