hardwaretrojan

Here is 1 public repository matching this topic...

Property-based Design Modification for Hardware-Trojan Detection in Resource-Constrained IoT Devices

trojan sat maxsat-solver hardwaretrojan hardwaresecurity

To associate your repository with the hardwaretrojan topic, visit your repo's landing page and select "manage topics."