Conference Papers
Year :
Isabelle Monjaret : Connect in order to contact the contributor
https://inria.hal.science/hal-02470965
Submitted on : Friday, February 7, 2020-4:20:46 PM
Last modification on : Thursday, August 31, 2023-4:36:47 PM
Dates and versions
Identifiers
- HAL Id : hal-02470965 , version 1
Cite
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⟩
Collections
46
View
0
Download