Home

Institute video

Department

Officers & Staff

Innovation

International Relations

Placement

Research

Centers

CE&O

In Media

IInvenTiv2026

Faculty details

Prof.Priyanka Panigrahi

Designation: Assistant Professor

Department: Computer Science and Engineering

Email: priyanka[at]iitism[dot]ac[dot]in

Contact Number:

Personal Page: Click Here

About Me: I am an Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology (ISM) Dhanbad. Prior to joining IIT (ISM), I served as an Assistant Professor at the National Institute of Technology Tiruchirappalli. I received my PhD from the Department of Computer Science and Engineering at the Indian Institute of Technology Guwahati. I have won the Qualcomm Innovation Fellowship during my PhD.

Research Interest: Compiler Systems, Software Security, Information Security, Program Analysis, Formal Verification, ML for Compiler, and Secure Compiler Optimizations. My current research focuses on developing techniques to verify the security preservation of compiler optimizations using static analysis, bisimulation, ML, and model-checking approaches.

Curriculum
Vitae
Publications

Teaching

Assistant Professor at IIT (ISM) Dhanbad (May 2026 - Present)

  • Computer Programming (NCSV101) — Odd Sem, 2026–27
  • Computer Organization and Architecture Lab (NCSC204) — Odd Sem, 2026–27

Assistant Professor at NIT Trichy (Dec 2025 - May 2026)

  • Compiler Design (CSPC62) — Even Sem, 2025–26

  • Introduction to Computer Programming (CSIR12) — Even Sem, 2025–26

Assistant Professor at KIIT Deemed to be University (July 2024 - Dec 2025)

  • Automata Theory and Formal Languages (CS21003) — Odd Sem, 2025–26

  • Database Management Systems (CS20006) — Even Sem, 2024–25

  • Database Management Systems Laboratory (CS29006) — Even Sem, 2024–25

  • Artificial Intelligence (CS30002) — Even Sem, 2024–25

  • Design and Analysis of Algorithms (CS30001) — Odd Sem, 2024–25

  • Computer Networks (CS30003) — Odd Sem, 2024–25

  • Design and Analysis of Algorithms Laboratory (CS39001) — Odd Sem, 2024–25

  • Computer Networks Laboratory (CS39003) — Odd Sem, 2024–25

Teaching Assistant at IIT Guwahati (July 2017 - May 2022)

  • NPTEL Course on C Based VLSI Design: July-Oct, 2021, 2022, 2023

  • CS221: Digital Design

  • CS322M: Digital Logic and Computer Architecture

  • CS 577: C-Based VLSI Design: Synthesis, Optimization and Verification

  • CS593: Data Structures and Databases Lab

  • CS110: Introduction to Computing Lab

  • CS210: Data Structure Lab

  • CS513: Programming Lab

Academics

  • PhD: Dept. of CSE, Indian Institute of Technology Guwahati, 2024

  • MTech: Dept. of CSE, Veer Surendra Sai University of Technology (VSSUT) Burla, Odisha, 2015

  • BTech: Dept. of CSE, BPUT, Odisha, 2012​

Position

  • Assistant Professor, Department of CSE, IIT(ISM) Dhanbad, Jharkhand, May 2026 - Present

  • Assistant Professor, Department of CSE, NIT Trichy, Tamil Nadu, Dec 2025 - May 2026

  • Assistant Professor, School of Computer Engineering, KIIT, Bhubaneswar, Odisha, July 2024 - Dec 2025​

  • Lecturer, Department of IT, CET, Bhubaneswar, Odisha, June 2016 - June 2017​

  • Lecturer, Department of CSE, VSSUT, Burla, Odisha, Aug 2015 - May 2016

Awards and Honors

  • Fellowship for attending VLSID 2024

  • Ph.D Thesis accepted in the Ph.D. Forum of VLSID 2024

  • Winner of the Qualcomm Innovation Fellowship (QIF), India, 2022

  • Ph.D. Thesis accepted in the Ph.D. Forum of IEEE WINTECHCON 2022

  • Finalist of the Qualcomm Innovation Fellowship (QIF), India, 2021

  • Travel Grant for attending VDAT 2019

  • GATE Fellowship for Ph.D. awarded by MHRD, Government of India (2017–2022)

  • GATE Fellowship for M.Tech. awarded by MHRD, Government of India (2013–2015)

  • Qualified GATE in 2011 and 2012

  • Branch Topper in the 2nd, 3rd, and 4th semesters of B.Tech.

Publications

List Of Research Publications (only in Peer-reviewed Journals)

  • Priyanka Panigrahi and Chandan Karfa, “MQIL: Model Checking based Quantification of Information Leakage,”in IEEE Embedded Systems Letters (ESL), Mar. 2026, doi: 10.1109/LES.2026.3677498

  • Priyanka Panigrahi and Chandan Karfa, “Translation Validation of Information Leakage of Compiler Optimizations”, in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 42, no. 11, pp. 3585-3598, Nov. 2023, doi: 10.1109/TCAD.2023.3269954

  • Priyanka Panigrahi, Abhik Paul and Chandan Karfa, “Quantifying Information Leakage for Security Verification of Compiler Optimizations,” in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 41, no. 11, pp. 4385-4396, Nov. 2022, doi: 10.1109/TCAD.2022.3200914

  • Priyanka Panigrahi, Vemuri Sahithya, Chandan Karfa, and Prabhat Mishra, “Secure Register Allocation for Trusted Code Generation,” in IEEE Embedded Systems Letters (ESL), vol. 14, no. 3, pp. 127-130, Sept. 2022, doi: 10.1109/LES.2022.3151096

Papers in conference abstract volumes / presented

  • Priyanka Panigrahi, Vignesh Ravichandra Rao, Thockchom Birjit Singha, and Chandan Karfa, “SRIL: Securing Registers from Information Leakage at Register Transfer Level”, in 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems (VLSID), Kolkata, India, 2024, pp. 492-498, doi:10.1109/VLSID60093.2024.00088.

  • Priyanka Panigrahi and Chandan Karfa, “An Investigation into the Security of Register Allocation with Spilling and Splitting”, in IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Foz do Iguacu, Brazil, 2023, pp 1-6, doi: 10.1109/ISVLSI59464.2023.10238662.

  • Priyanka Panigrahi, Rajesh Kumar Jha, and Chandan Karfa, (2019). “User Guided Register Manipulation in Digita Circuits”, in VLSI Design and Test (VDAT), 2019, pp. 468–481, Communications in Computer and Information Science, vol 1066. Springer, Singapore, https://doi.org/10.1007/978-981-32-9767-8_39.

Projects & Activities

Membership of Scientific Societies

  • Member of IEEE

Other Academic and Administrative Activities

  • Course Co-coordinator: Automata Theory and Formal Languages at KIIT University, July - Dec 2025
  • Member: School-Level Mentoring/Counselling Cell at KIIT University, July - Dec 2025
  • Mentor: 82 B.Tech Students in their academic and career guidance at KIIT University, Nov 2024 - Dec 2025
  • Resource Person: TEQIP-III sponsored short-term course on C-based VLSI Design: Synthesis, Optimization, and Verification at IIT Guwahati, 2019
  • Reviewer: VLSID 2025, VLSID 2026, VDAT 2026

Guidance

Copyright © 2026 All Rights Reserved || Designed & Developed by - WEBSTEP TECHNOLOGIES PRIVATE LIMITED