Prateek Saxena

Prateek Saxena picture

Hey! I am an Assistant Professor in the Computer Science Department at National University of Singapore. I work on computer security, and its intersection with formal methods and programming languages. My present research projects are on cryptocurrencies, trusted computing, binary analysis, and web security. I got my Phd in Computer Science from the University of California, Berkeley in 2012 and visited Microsoft Research Redmond during the summer of 2015.

I am fortunate to work with several bright PhD students: Shweta Shinde, Loi Luu, Shruti Tople, Enrico Budianto, Yaoqi Jia (co-advised), Shiqi Shen and Deli Gong (co-advised). Our group is actively exploring spinoffs, originating from our research. See Dexecure , Anquan and SmartPool (non-profit) as examples. For our released software projects, please see the software release (or publications) webpage.

Thanks to MoE-Singapore, NRF-Singapore, Intel and Symantec for their generous and continued support to our research!

Computer Science Division
COM2-03-40,
School of Computing
National University of Singapore

Email: prateeks at comp dot nus dot edu dot sg


New!   Interested in decentralizing cryptocurrency mining pools? What are your thoughts on SmartPool?

We are always looking for self-driven PhD students, interns and postdocs. If you are looking for exciting new problems to work on in security, languages or systems, please send me an email with your CV. We welcome candidates who will commit 6+ months on focussed research at the outset, and generally unable to respond to requests otherwise. Interested NUS undergrads: Please set aside an year of rigorous work if you wish to do your final-year thesis projects with me.

 

Publications Software Teaching CV Google Scholar Fix A Meeting?