CAD for Assurance of Electronic Systems
 

MIMIC: Automatic Hardware Trojan Insertion In a Design

By: Jonathan Cruz (University of Florida), Abhishek Nair (IIT Madras), Prabuddha Chakraborty (University of Florida), Tamzidul Hoque (University of Florida), Naren Vikram Raj Masna (University of Florida), and Swarup Bhunia (University of Florida)

Stage: Gate-Level

Summary

MIMIC is an automated machine-learning based Trojan insertion tool capable of inserting hard-to-detect Trojans in gate-level netlists. MIMIC learns from existing Trojans to insert a large number of Trojans in a gate-level netlist allowing for powerful IP Trust Verification and automated big data analytics on hardware IP.

Contact

Jonathan Cruz

Input/Output Interface

  • Input: Verilog Gate-level netlist, configurations
  • Output: Trojan Inserted Gate-level netlist

Dependencies

OneSpin, Cadence JasperGold

Licensing Info

University of Florida. Contact aarranz@ufl.edu for licensing info.

References

Cruz, Jonathan; Gaikwad, Pravin; Nair, Abhishek; Chakraborty, Prabuddha; Bhunia, Swarup

Automatic Hardware Trojan Insertion using Machine Learning Journal Article

In: arXiv preprint arXiv:2204.08580, 2022.

BibTeX