amamory/hermes-trojan
Example of hardware trojan in a router detected with formal property verification
VHDL
Issues
- 1
cannot send packet from the local port
#1 opened by amamory
Example of hardware trojan in a router detected with formal property verification
VHDL