Author:
Arribas Victor,Nikova Svetla,Rijmen Vincent
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Challenges and Opportunities of Security-Aware EDA;ACM Transactions on Embedded Computing Systems;2023-04-19
2. A Survey and Perspective on Artificial Intelligence for Security-Aware Electronic Design Automation;ACM Transactions on Design Automation of Electronic Systems;2023-03-06
3. Proving SIFA protection of masked redundant circuits;Innovations in Systems and Software Engineering;2022-05-30
4. A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs;ACM Transactions on Software Engineering and Methodology;2021-05
5. Fmdtools;International Journal of Prognostics and Health Management;2021-04-07