Invited: Independent Verification and Validation of Security-Aware EDA Tools and IP.

Benjamin Tan, Siddharth Garg, Ramesh Karri, Yuntao Liu, Michael Zuzak, Abhisek Chakraborty, Ankur Srivastava, Omid Aramoon, Qian Xu, Gang Qu, Adam A. Porter, Jeno Szep, Warren Savage

Browse the full DAC paper archive.