MaskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :
No file

Dates and versions

hal-02470965 , version 1 (07-02-2020)

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⟩
46 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More