Ga?Tan Cassiers
AuthID: R-00K-HHZ
1
TITLE: maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults
AUTHORS: Gilles Barthe ; Sonia Belaïd; Gaëtan Cassiers; Pierre Alain Fouque; Benjamin Grégoire; François Xavier Standaert;
PUBLISHED: 2019, SOURCE: Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I, VOLUME: 11735
AUTHORS: Gilles Barthe ; Sonia Belaïd; Gaëtan Cassiers; Pierre Alain Fouque; Benjamin Grégoire; François Xavier Standaert;
PUBLISHED: 2019, SOURCE: Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I, VOLUME: 11735
INDEXED IN: 
DBLP
DBLP