This repository is not active
amamory/hermes-trojan
Example of hardware trojan in a router detected with formal property verification
VHDL
Example of hardware trojan in a router detected with formal property verification
VHDL
This repository is not active