On the limitations of logic testing for detecting Hardware Trojans Horses.
Marie-Lise FlottesSophie DupuisPapa-Sidi BaBruno RouzeyrePublished in: DTIS (2015)
Keyphrases
- digital circuits
- low cost
- hardware and software
- real time
- logic programming
- asynchronous circuits
- image processing
- hardware implementation
- multi valued
- predicate logic
- computer systems
- modal logic
- vlsi implementation
- chip design
- hardware architecture
- set theory
- hardware design
- computing platform
- automated reasoning
- embedded systems
- test cases