Fast Verification of Masking Schemes in Characteristic Two-Reference-Cited by-同舟云学术

Fast Verification of Masking Schemes in Characteristic Two

Published:2021 Issue: Volume: Page:283-312
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bordes Nicolas,Karpman Pierre

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-77886-6_10

Reference36 articles.

1. Lecture Notes in Computer Science;G Barthe,2019

2. Barthe, G., Belaïd, S., Dupressoir, F., Fouque, P.-A., Grégoire, B.: Compositional verification of higher-order masking: application to a verifying masking compiler. IACR Cryptology ePrint Archive 2015, 506 (2015)

3. Barthe, G., et al.: Strong non-interference and type-directed higher-order masking. In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S. (eds.) ACM CCS 2016, pp. 116–129. ACM (2016)

4. Barthe, G., et al.: Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference & automated optimizations. IACR Cryptology ePrint Archive 2018, 505 (2018)

5. Lecture Notes in Computer Science;S Belaïd,2016

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

1. Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks;ACM Transactions on Software Engineering and Methodology;2023-12-05

2. Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks;Proceedings of the ACM on Programming Languages;2023-10-16

3. VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations;Proceedings of the 20th International Conference on Security and Cryptography;2023

4. Unifying Freedom and Separation for Tight Probing-Secure Composition;Advances in Cryptology – CRYPTO 2023;2023

5. Electromagnetic Leakage Assessment of a Proven Higher-Order Masking of AES S-Box;2022 25th Euromicro Conference on Digital System Design (DSD);2022-08