Pramod's Homepage

Welcome, you have reached the webpage of Pramod Subramanyan.

Bio and Background

I am an Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology, Kanpur.

I obtained my PhD from the Department of Electrical Engineering at Princeton University where I was advised by Professor Sharad Malik. Subsequently, I was a postdoctoral scholar working with Professor Sanjit Seshia in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley.

Before entering academia, I used to be a Software Engineer at National Instruments and a Design Engineer at AMD. While at AMD, I worked on the Jaguar low-power core. Among other things, I developed a new cache replacement policy for that core. I also spent multiple summers working with the Security Center of Excellence at Intel during my PhD.

My research interests lie at the intersection of formal methods, security and systems. Most of my recent work has applied formal methods to address system security concerns. See the research page for more information.

[CV] (PDF) Google Scholar DBLP

News

June 2020: We have a new attack on demand paging in enclaves that breaks InvisiPage [ISCA'19]. This will appear in WOOT'20.

April 2020: Our paper on quantitative hyperproperty verification -- which provides a methodology for the verification of important security protocols like Path ORAM -- has been accepted to CAV 2020.

January 2020: FALL attack journal paper has been accepted in TIFS.