CAD for Assurance of Electronic Systems
 

RTL Logic Attacks

By: Chandan Karfa (IIT Guwahati) and Ramanuj Chouksey (IIT Guwahati)

Stage: RTL

Summary

An attack on locked RTL generated by TAO a state-of-the-art RTL locking solution.

Contact

Input/Output Interface

  • Input: Locked RTL design
  • Output: Keys to unlock a locked RTL Design

Dependencies

Z3 [version 4.8.5 – 64 bit], Klee

Licensing Info

NIL

References

Karfa, Chandan; Chouksey, Ramanuj; Pilato, Christian; Garg, Siddharth; Karri, Ramesh

Is Register Transfer Level Locking Secure? Proceedings Article

In: 2020 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 550-555, 2020, ISSN: 1558-1101.

Abstract | Links | BibTeX

Acknowledgments

  • DST, Government of India under Project ECR/2017/000492