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