Sujit Kumar Muduli

PhD student @ CSE, IIT Kanpur

About Me:

I am a Ph.D student at CSE , IIT Kanpur working under the supervision of Prof. Pramod Subramanyan. Before joining IIT Kanpur, I was working as a software engineer at MathWorks India Bangalore office. I graduated from IIIT Bangalore with a M.Tech degree, specialising in Computer Science under the supervision of Prof. Meenakshi D'Souza.

Areas of Interest: Formal Verification, Hardware & Software security, Cryptography


  • IIT Kanpur
    Doctorate of Philosophy 2019 - present
  • IIIT Bangalore
    Master of Technology
    IT (Specialisation in Computer Science)
    2015 - 2017
  • CET Bhubaneswar
    Bachelor of Technology
    Computer Science and Engineering
    2010 - 2014
KD 109, Department of Computer Science & Engineering
IIT Kanpur - 208016, UP, India

: (first name initial)(lastname)[at]cse[dot]iitk[dot]ac[dot]in
  1. Verification of Authenticated Firmware Loaders.(paper)
    Sujit Kumar Muduli, Pramod Subramanyan and Sayak Ray. To Appear in Formal Methods in Computer-Aided Design. (FMCAD 2019). San Jose, CA. October 2019.