A Formal Approach to Identifying Hardware Trojans in Cryptographic Hardware.
Akira ItoRei UenoNaofumi HommaPublished in: ISMVL (2021)
Keyphrases
- low cost
- hardware and software
- real time
- computing systems
- random number generator
- computer systems
- hardware implementation
- vlsi implementation
- massively parallel
- parallel hardware
- standard pc
- hardware architecture
- hardware design
- circuit design
- computational power
- smart card
- data structure
- image processing
- digital circuits
- software implementation
- control unit
- genetic algorithm