ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems. - Animesh Basak Chowdhury; Ansuman Banerjee; Bhargab B. Bhattacharya (NSS, 2018)

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). - Priyanka Darke; Sumanth Prabhu 001; Bharti Chimdyalwar; Avriti Chauhan; Shrawan Kumar 001; Animesh Basak Chowdhury; R. Venkatesh 001; Advaita Datar; Raveendra Kumar Medicherla (TACAS (2), 2018)

Fault Coverage of a Test Set on Structure-Preserving Siblings of a Circuit-Under-Test. - Manobendra Nath Mondal; Animesh Basak Chowdhury; Manjari Pradhan; Susmita Sur-Kolay; Bhargab B. Bhattacharya (ATS, 2019)

VeriFuzz: Program Aware Fuzzing - (Competition Contribution). - Animesh Basak Chowdhury; Raveendra Kumar Medicherla; R. Venkatesh 001 (TACAS (3), 2019)

RERS-Fuzz : Combining Greybox Fuzzing with Interval Analysis for error reachability in reactive softwares. - Animesh Basak Chowdhury (CoRR, 2019)

Explaining and Interpreting Machine Learning CAD Decisions: An IC Testing Case Study. - Prashanth Krishnamurthy; Animesh Basak Chowdhury; Benjamin Tan 001; Farshad Khorrami; Ramesh Karri (MLCAD, 2020)

Adversarially Robust Learning via Entropic Regularization. - Gauri Jagatap; Animesh Basak Chowdhury; Siddharth Garg; Chinmay Hegde (CoRR, 2020)

Fortifying RTL Locking Against Oracle-Less (Untrusted Foundry) and Oracle-Guided Attacks. - Nimisha Limaye; Animesh Basak Chowdhury; Christian Pilato; Mohammed Thari Nabeel; Ozgur Sinanoglu; Siddharth Garg; Ramesh Karri (DAC, 2021)

Special Session: Machine Learning for Semiconductor Test and Reliability. - Hussam Amrouch; Animesh Basak Chowdhury; Wentian Jin; Ramesh Karri; Farshad Khorrami; Prashanth Krishnamurthy; Ilia Polian; Victor M. van Santen; Benjamin Tan 001; Sheldon X.-D. Tan (VTS, 2021)

OpenABC-D: A Large-Scale Dataset For Machine Learning Guided Integrated Circuit Synthesis. - Animesh Basak Chowdhury; Benjamin Tan 001; Ramesh Karri; Siddharth Garg (CoRR, 2021)

FuCE: Fuzzing+Concolic Execution guided Trojan Detection in Synthesizable Hardware Designs. - Mukta Debnath; Animesh Basak Chowdhury; Debasri Saha; Susmita Sur-Kolay (CoRR, 2021)

Adversarially Robust Learning via Entropic Regularization. - Gauri Jagatap; Ameya Joshi; Animesh Basak Chowdhury; Siddharth Garg; Chinmay Hegde (Frontiers Artif. Intell., 2021)

ASSURE: RTL Locking Against an Untrusted Foundry. - Christian Pilato; Animesh Basak Chowdhury; Donatella Sciuto; Siddharth Garg; Ramesh Karri (IEEE Trans. Very Large Scale Integr. Syst., 2021)

GreyConE: Greybox Fuzzing + Concolic Execution Guided Test Generation for High Level Designs. - Mukta Debnath; Animesh Basak Chowdhury; Debasri Saha; Susmita Sur-Kolay (ITC, 2022)

Fuzzing+Hardware Performance Counters-Based Detection of Algorithm Subversion Attacks on Post-Quantum Signature Schemes. - Animesh Basak Chowdhury; Anushree Mahapatra; Deepraj Soni; Ramesh Karri (CoRR, 2022)

Too Big to Fail? Active Few-Shot Learning Guided Logic Synthesis. - Animesh Basak Chowdhury; Benjamin Tan 001; Ryan Carey; Tushit Jain; Ramesh Karri; Siddharth Garg (CoRR, 2022)

Test Generation for SystemC designs by interlaced Greybox Fuzzing and Concolic Execution. - Mukta Debnath; Animesh Basak Chowdhury; Debasri Saha; Susmita Sur-Kolay (CoRR, 2022)

Robust Deep Learning for IC Test Problems. - Animesh Basak Chowdhury; Benjamin Tan 001; Siddharth Garg; Ramesh Karri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

ALMOST: Adversarial Learning to Mitigate Oracle-less ML Attacks via Synthesis Tuning. - Animesh Basak Chowdhury; Lilas Alrahis; Luca Collini; Johann Knechtel; Ramesh Karri; Siddharth Garg; Ozgur Sinanoglu; Benjamin Tan 001 (DAC, 2023)

Invited Paper: Towards the Imagenets of ML4EDA. - Animesh Basak Chowdhury; Shailja Thakur; Hammond Pearce; Ramesh Karri; Siddharth Garg (ICCAD, 2023)

ConVERTS: Contrastively Learning Structurally InVariant Netlist Representations. - Animesh Basak Chowdhury; Jitendra Bhandari; Luca Collini; Ramesh Karri; Benjamin Tan 001; Siddharth Garg (MLCAD, 2023)

INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search. - Animesh Basak Chowdhury; Marco Romanelli 002; Benjamin Tan 001; Ramesh Karri; Siddharth Garg (CoRR, 2023)

Towards the Imagenets of ML4EDA. - Animesh Basak Chowdhury; Shailja Thakur; Hammond Pearce; Ramesh Karri; Siddharth Garg (CoRR, 2023)

A Golden-Free Approach to Detect Trojans in COTS Multi-PCB Systems. - Animesh Basak Chowdhury; Anushree Mahapatra; Yang Liu; Prashanth Krishnamurthy; Farshad Khorrami; Ramesh Karri (IEEE Micro, 2023)

Bulls-Eye: Active Few-Shot Learning Guided Logic Synthesis. - Animesh Basak Chowdhury; Benjamin Tan 001; Ryan Carey; Tushit Jain; Ramesh Karri; Siddharth Garg (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Fuzzing+Hardware Performance Counters-Based Detection of Algorithm Subversion Attacks on Postquantum Signature Schemes. - Animesh Basak Chowdhury; Anushree Mahapatra; Deepraj Soni; Ramesh Karri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

ASCENT: Amplifying Power Side-Channel Resilience via Learning & Monte-Carlo Tree Search. - Jitendra Bhandari; Animesh Basak Chowdhury; Ozgur Sinanoglu; Siddharth Garg; Ramesh Karri; Johann Knechtel (ICCAD, 2024)

LEAP: Learning guided Quality Cut selection for faster Technology Mapping. - Chandrabhusan Reddy Chigarapally; Harshwardhan Nitin Bhakkad; Animesh Basak Chowdhury; Chandan Karfa; Sukanta Bhattacharjee (ICCAD, 2024)

Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization. - Animesh Basak Chowdhury; Marco Romanelli 002; Benjamin Tan 001; Ramesh Karri; Siddharth Garg (ICLR, 2024)

Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS. - Matthew DeLorenzo; Animesh Basak Chowdhury; Vasudev Gohil; Shailja Thakur; Ramesh Karri; Siddharth Garg; Jeyavijayan Rajendran (CoRR, 2024)

Scalable Test Generation to Trigger Rare Targets in High-Level Synthesizable IPs for Cloud FPGAs. - Mukta Debnath; Animesh Basak Chowdhury; Debasri Saha; Susmita Sur-Kolay (CoRR, 2024)

ASCENT: Amplifying Power Side-Channel Resilience via Learning & Monte-Carlo Tree Search. - Jitendra Bhandari; Animesh Basak Chowdhury; Mohammed Nabeel 001; Ozgur Sinanoglu; Siddharth Garg; Ramesh Karri; Johann Knechtel (CoRR, 2024)