Ministry of Education
Chandan Karfa
VIDWAN ID: 128272

Dr Chandan Karfa

Male Doctor of Philosophy
Associate Professor | Department of Computer Science and Engineering
Indian Institute of Technology, Guwahati
Assam
Expertise: Computer Science Information Systems
ORCID 0000-0002-3835-4184 Scopus 14825443700 ResearcherID T-3597-2019 Google Scholar pp-UnuoAAAAJ
View older version My Dashboard
62 Publications
4 Projects
335 Scopus Citations
335 CrossRef
10 Years 1 Month Total Experience
Publications
62 Total
Articles
27
Books
1
Chapters
1
Proceedings
33
Activity

No publication activity to display.

Scopus Scopus
335 Citations
10 h-index
CrossRef CrossRef
335 Citations
10 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

Qualcomm Faculty Award 2021
2021
Qualcomm
IEEE Senior member
2020
IEEE
TechInventor Award 2013
2013
India Electronics and Semiconductor Association (IESA).
Innovative Student Projects Award 2013 (Doctoral Level
2013
Indian National Academy of Engineering (INAE)
Innovative Student Projects Award 2008 (Master Level
2008
Indian National Academy of Engineering (INAE)
Microsoft Research India PhD Fellowship
2008
Microsoft
Best Paper Award
2013
5th IBM Collaborative Academia Research Exchange (I-CARE 2013)
1st Prize in EDA Software Contest
22nd international conference on VLSI design and embedded systems, 2011
Student Best Paper Award
2007
15th IEEE International Conference on Advanced Computing and Communications (ADCOM 2007)

Community & Membership

No Data Found

There is currently nothing to display here.

IEEE
IEEE Senior Member
Jan 2020

Personal Details

Doctor of Philosophy
N/A
Associate Professor
Oct 2021 – Present
Indian Institute of Technology, Guwahati | Department of Computer Science and Engineering
Assistant Professor
Aug 2016 – Oct 2021
Indian Institute of Technology, Guwahati | Department of Computer Science and Engineering
Engineering and Technology
Computer Science Information Systems

Related Profiles

Scholarly Work

Security Analysis of Compiler Optimization Techniques
Other
Role: Principal Investigator
Amount: ₹23
Duration: 2020 – Ongoing
Formal Methods for Modeling and verification of Intrusion Detection system in wireless Networks
Other
Agency: Department of Science and Technology Role: Principal Investigator
Amount: ₹28
Duration: 2019 – Ongoing
Formal Verification of Optimizing Transformations of Programs
Completed
Role: Principal Investigator
Amount: ₹18
Duration: 2017 – 2020
Formal Verification of Optimizing Transformations of Programs and Optimizations for FPGAs
Completed
Role: Principal Investigator
Amount: ₹15
Duration: 2017 – 2019

Formal Verification and Security Analysis of High-level Synthesis

University Indian Institute of Technology Guwahati
Year 2020
Downloads 0

Security Verification of Compiler Optimizations: An Information Flow Perspective

University Indian Institute of Technology Guwahati
Year 2024
Downloads 112

Efficient Techniques for Scheduling DAG Applications in Distributed Environments

University Indian Institute of Technology Guwahati
Year 2023
Downloads 109

Task and Message Co-scheduling Strategies in Real-time Cyber-Physical Systems

University Indian Institute of Technology Guwahati
Year 2022
Downloads 119

Formal Modeling of Network-on-Chip and its Applications in Starvation and Deadlock Detection and in Developing Deadlock Free Routing Algorithms

University Indian Institute of Technology Guwahati
Year 2022
Downloads 105

Reverse Engineering of High-Level Synthesis and its Applications

University Indian Institute of Technology Guwahati
Year 2022
Downloads 46
No Data Found

There is currently nothing to display here.

Scholarly Publications

SAT Based Partial Attack on Compound Logic Locking

Conference Paper
Year: 2020.
Authors: Melbin John; Aadil Hoda; Ramanuj Chouksey; Chandan Karfa
DOI 10.1109/AsianHOST51057.2020.9358261 Crossref Crossref: 7 Scopus Scopus: 7

HOST: HLS Obfuscations against SMT ATtack

Conference Paper
Year: 2021. Volume: 2021-February , Pages: 32-37 .
Authors: Chandan Karfa; TM Abdul Khader; Yom Nigam; Ramanuj Chouksey; Ramesh Karri
DOI 10.23919/DATE51398.2021.9473927 Crossref Crossref: 8 Scopus Scopus: 9

VP_TT: A value propagation based equivalence checker for testability transformations

Open Access
Journal Article
IET Software. Year: 2021. Volume: 15 , Issue: 1 , Pages: 147-159 .
Authors: Ramanuj Chouksey; Sachin Kumar Maddheshiya; Chandan Karfa
DOI 10.1049/sfw2.12008

Reverse Engineering Register to Variable Mapping in High-level Synthesis

Conference Paper
Year: 2021. Volume: 2021-July , Pages: 37-42 .
Authors: Mohammed Abderehman; Rupak Gupta; Chandan Karfa
DOI 10.1109/ISVLSI51109.2021.00018 Crossref Crossref: 1 Scopus Scopus: 1

HMDS: A Makespan Minimizing DAG Scheduler for Heterogeneous Distributed Systems

Conference Paper
ACM Transactions on Embedded Computing Systems. Year: 2021. Volume: 20 , Issue: 5s .
Authors: Debabrata Senapati; Arnab Sarkar; Chandan Karfa
DOI 10.1145/3477037 Crossref Crossref: 29 Scopus Scopus: 28

Corruption Exposes You: Statistical Key Recovery from Compound Logic Locking

Conference Paper
Year: 2022. Volume: 2022-April .
Authors: Arshdeep Kaur; Sayandeep Saha; Chandan Karfa; Debdeep Mukhopadhyay
DOI 10.1109/ISQED54688.2022.9806219 Crossref Crossref: 5 Scopus Scopus: 4

DEEQ: Data-driven End-to-End EQuivalence Checking of High-level Synthesis

Conference Paper
Year: 2022. Volume: 2022-April , Pages: 64-70 .
Authors: Mohammed Abderehman; Theegala Rakesh Reddy; Chandan Karfa
DOI 10.1109/ISQED54688.2022.9806218 Crossref Crossref: 4 Scopus Scopus: 5

ImageSpec: Efficient High-Level Synthesis of Image Processing Applications

Conference Paper
Year: 2022. Pages: 67-74 .
Authors: Abdul Khader Thalakkattu Moosa; Nilotpola Sarma; Chandan Karfa
DOI 10.1109/DSD57027.2022.00019 Crossref Crossref: 10 Scopus Scopus: 10
Showing 1 to 8 of 62 publications