Gourav Takhar

Employment

• Indian Institute of Technology Kanpur PhD. student

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (10)

• Incorrectness Proofs with Underapproximation Invariants
  ACM Transactions on Software Engineering and Methodology 2026 DOI: 10.1145/3821419
  +Save
• Memory-Safety Verification of Open Programs with Angelic Assumptions
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3763090
  +Save
• An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
  Proceedings 2023 38th IEEE ACM International Conference on Automated Software Engineering Ase 2023 2023 DOI: 10.1109/ASE56229.2023.00101
  +Save
• SR-SFLL: Structurally Robust Stripped Functionality Logic Locking
  Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 2023 DOI: 10.1007/978-3-031-37709-9_10
  +Save
• HOLL: Program Synthesis for Higher Order Logic Locking
  Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 2022 DOI: 10.1007/978-3-030-99524-9_1
  +Save
• HOLL: Program Synthesis for Higher Order Logic Locking
  Arxiv 2022 DOI: 10.48550/arxiv.2201.10531
  +Save
• Structural Analysis Attack on Sequential Circuit Logic Locking
  Proceedings of the 2022 IEEE International Symposium on Hardware Oriented Security and Trust Host 2022 2022 DOI: 10.1109/HOST54066.2022.9840185
  +Save
• HyperFuzzing for SoC Security Validation
  IEEE ACM International Conference on Computer Aided Design Digest of Technical Papers Iccad 2020 DOI: 10.1145/3400302.3415709
  +Save
• Vision-based gender recognition using hybrid background subtraction technique
  Communications in Computer and Information Science 2018 DOI: 10.1007/978-981-10-8660-1_49
  +Save
• Comparative analysis of Background Subtraction techniques and applications
  2016 International Conference on Recent Advances and Innovations in Engineering Icraie 2016 2016 DOI: 10.1109/ICRAIE.2016.7939553
  +Save