Prateek Saxena

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 members (present and alumni) actively exploring spinoffs, originating from their research. See Dexecure , Anquan, TrueBit 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!

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.