Strong Non-Interference and Type-Directed Higher-Order Masking-Reference-Cited by-同舟云学术

Strong Non-Interference and Type-Directed Higher-Order Masking

Published:2016-10-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Barthe Gilles¹,Belaïd Sonia²,Dupressoir François¹,Fouque Pierre-Alain³,Grégoire Benjamin⁴,Strub Pierre-Yves¹,Zucchini Rébecca⁵

Affiliation:

1. IMDEA Software Institute, Madrid, Spain

2. Thales Communications & Security, Gennevilliers, France

3. Université de Rennes 1, Rennes, France

4. Inria Sophia-Antipolis -- Méditerranée, Sophia-Antipolis, France

5. Inria Sophia-Antipolis -- Méditerranée and École Normale Supérieure de Cachan, Cachan, France

Funder

Office of Naval Research

Publisher

ACM

Link

Reference32 articles.

Cited by 92 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Inspector Gadget;IACR Communications in Cryptology;2024-07-08

3. Optimizing AES Threshold Implementation Under the Glitch-Extended Probing Model;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2024-07

4. DOMREP II;2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST);2024-05-06

5. Security Aspects of Masking on FPGAs;2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST);2024-05-06