Gourav Takhar

According to our database, Gourav Takhar authored at least 7 papers between 2020 and 2023.

Collaborative distances:

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

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

SR-SFLL: Structurally Robust Stripped Functionality Logic Locking.

Gourav Takhar, Subhajit Roy

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

HOLL: Program Synthesis for Higher OrderLogic Locking.

Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy

CoRR, 2022

HOLL: Program Synthesis for Higher Order Logic Locking.

Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Structural Analysis Attack on Sequential Circuit Logic Locking.

Gourav Takhar, Subhajit Roy

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2022

2020

When Oblivious is Not: Attacks against OPAM.

Nirjhar Roy, Nikhil Bansal, Gourav Takhar, Nikhil Mittal, Pramod Subramanyan

Proceedings of the 14th USENIX Workshop on Offensive Technologies, 2020

HyperFuzzing for SoC Security Validation.

Sujit Kumar Muduli, Gourav Takhar, Pramod Subramanyan

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020