Invited: Independent Verification and Validation of Security-Aware EDA Tools and IP.
Benjamin TanSiddharth GargRamesh KarriYuntao LiuMichael ZuzakAbhisek ChakrabortyAnkur SrivastavaOmid AramoonQian XuGang QuAdam PorterJeno SzepWarren SavagePublished in: DAC (2021)