A Machine Learning Based Automatic Hardware Trojan Attack Space Exploration and Benchmarking Framework. - Jonathan Cruz 001; Pravin Gaikwad; Abhishek Anil Nair; Prabuddha Chakraborty; Swarup Bhunia (AsianHOST, 2022)

Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. - Abhishek Anil Nair; Saranyu Chattopadhyay; Haoze Wu 001; Alex Ozdemir; Clark W. Barrett (FMCAD, 2022)

SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking. - Patanjali SLPSK; Abhishek Anil Nair; Chester Rebeiro; Swarup Bhunia (IEEE Trans. Computers, 2023)