共 5 条
- [1] WaLo: Security Primitive Generator for RT-Level Logic Locking and Watermarking Proceedings of the 2020 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2020, 2020,
- [2] Predicate abstraction of RT-Level Verilog using symbolic simulation and constraint logic programming Jisuanji Xuebao/Chinese Journal of Computers, 2007, 30 (07): : 1138 - 1144
- [3] Functional vectors generation for RT-Level verilog descriptions based on path enumeration and constraint logic programming DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings, 2005, : 17 - 23
- [4] Low Overhead Logic Locking for System-Level Security: A Design Space Modeling Approach PROCEEDINGS OF THE 29TH ACM/IEEE INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, ISLPED 2024, 2024,
- [5] Transistor-Level Camouflaged Logic Locking Method for Monolithic 3D IC Security PROCEEDINGS OF THE 2016 IEEE ASIAN HARDWARE ORIENTED SECURITY AND TRUST SYMPOSIUM (ASIANHOST 2016), 2016,