Author:
Bouzafour Aymane,Renaudin Marc,Garavel Hubert,Mateescu Radu,Serwe Wendelin
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Gate-Level Information Leakage Detection Framework of Sequential Circuit Using Z3;Electronics;2022-12-16
2. On SAT-Based Model Checking of Speed-Independent Circuits;2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS);2022-04-06
3. Simplification of numeric variables for PLC model checking;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20
4. Is CADP an Applicable Formal Method?;Electronic Proceedings in Theoretical Computer Science;2021-11-16
5. Data Flow Obfuscation: A New Paradigm for Obfuscating Circuits;IEEE Transactions on Very Large Scale Integration (VLSI) Systems;2021-04