Abhishek Anil Nair

According to our database, Abhishek Anil Nair authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking.

Patanjali SLPSK, Abhishek Anil Nair, Chester Rebeiro, Swarup Bhunia

IEEE Trans. Computers, June, 2023

2022

Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.

Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

A Machine Learning Based Automatic Hardware Trojan Attack Space Exploration and Benchmarking Framework.

Jonathan Cruz, Pravin Gaikwad, Abhishek Anil Nair, Prabuddha Chakraborty, Swarup Bhunia

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2022