Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Robust Deep Learning for IC Test Problems., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (1): 183-195 (2022)Towards the Imagenets of ML4EDA., , , , and . CoRR, (2023)VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution)., , , , , , , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 457-462. Springer, (2018)Explaining and Interpreting Machine Learning CAD Decisions: An IC Testing Case Study., , , , and . MLCAD, page 129-134. ACM, (2020)ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems., , and . NSS, volume 11058 of Lecture Notes in Computer Science, page 391-410. Springer, (2018)Scalable Test Generation to Trigger Rare Targets in High-Level Synthesizable IPs for Cloud FPGAs., , , and . CoRR, (2024)Invited Paper: Towards the Imagenets of ML4EDA., , , , and . ICCAD, page 1-7. IEEE, (2023)GreyConE: Greybox Fuzzing + Concolic Execution Guided Test Generation for High Level Designs., , , and . ITC, page 494-498. IEEE, (2022)Fortifying RTL Locking Against Oracle-Less (Untrusted Foundry) and Oracle-Guided Attacks., , , , , , and . DAC, page 91-96. IEEE, (2021)Adversarially Robust Learning via Entropic Regularization., , , , and . Frontiers Artif. Intell., (2021)