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, Teodora Baluta, and Deli Gong (co-advised). Our group members (present and alumni) are actively exploring spinoffs, originating from their research. See Dexecure , KyberNet, TrueBit and SmartPool (non-profit) as examples. I have co-founded Anquan. 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
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?