共 50 条
- [1] Programmable Assertion Checkers for Hardware Trojan Detection [J]. 2017 1ST IEEE CONFERENCE ON PHD RESEARCH IN MICROELECTRONICS AND ELECTRONICS LATIN AMERICA (PRIME-LA), 2017, : 9 - 12
- [2] Dynamic Refinement of Hardware Assertion Checkers [J]. 2023 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2023,
- [3] Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection [J]. PROCEEDINGS OF THE TWENTY THIRD INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2022), 2022, : 236 - 241
- [4] Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection [J]. arXiv, 2022,
- [5] Incorporating efficient assertion checkers into hardware emulation [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, 2005, : 221 - 228
- [6] Runtime hardware Trojan detection by reconfigurable monitoring circuits [J]. The Journal of Supercomputing, 2022, 78 : 12726 - 12752
- [7] Runtime hardware Trojan detection by reconfigurable monitoring circuits [J]. JOURNAL OF SUPERCOMPUTING, 2022, 78 (10): : 12726 - 12752
- [8] An Efficient Reconfigurable Ring Oscillator for Hardware Trojan Detection [J]. 20TH PAN-HELLENIC CONFERENCE ON INFORMATICS (PCI 2016), 2016,
- [10] Translating Circuit Behavior Manifestations of Hardware Trojans using Model Checkers into Run-time Trojan Detection Monitors [J]. PROCEEDINGS OF THE 2016 IEEE ASIAN HARDWARE ORIENTED SECURITY AND TRUST SYMPOSIUM (ASIANHOST 2016), 2016,