Invited: Independent Verification and Validation of Security-Aware EDA Tools and IP. - Tan, Benjamin; Garg, Siddharth; Karri, Ramesh; Liu, Yuntao; Zuzak, Michael; Chakraborty, Abhisek; Srivastava, Ankur; Aramoon, Omid; Xu, Qian; Qu, Gang; Porter, Adam; Szep, Jeno; et al. (DAC: Annual ACM/IEEE Design Automation Conference, 2021)