HyperFuzzing for SoC Security Validation. - Sujit Kumar Muduli; Gourav Takhar; Pramod Subramanyan (ICCAD, 2020)

When Oblivious is Not: Attacks against OPAM. - Nirjhar Roy; Nikhil Bansal 002; Gourav Takhar; Nikhil Mittal; Pramod Subramanyan (WOOT @ USENIX Security Symposium, 2020)

Structural Analysis Attack on Sequential Circuit Logic Locking. - Gourav Takhar; Subhajit Roy 001 (HOST, 2022)

HOLL: Program Synthesis for Higher Order Logic Locking. - Gourav Takhar; Ramesh Karri; Christian Pilato; Subhajit Roy 001 (TACAS (1), 2022)

HOLL: Program Synthesis for Higher OrderLogic Locking. - Gourav Takhar; Ramesh Karri; Christian Pilato; Subhajit Roy 001 (CoRR, 2022)

SR-SFLL: Structurally Robust Stripped Functionality Logic Locking. - Gourav Takhar; Subhajit Roy 001 (CAV (3), 2023)

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. - Prantik Chatterjee; Pankaj Kumar Kalita; Sumit Lahiri; Sujit Kumar Muduli; Vishal Singh; Gourav Takhar; Subhajit Roy 001 (ASE, 2023)