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 Zilliqa, KyberNetwork, Dexecure , 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, DSO Labs, 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!  Join us for the deep learning security workshop and the associated research forum in December!

I am looking for highly independent PhD students, interns and postdocs in our group. Our focus is presently on deep learning security, secure / scalable blockchains, and binary analysis (pleass see our publications). Please send me an email with your CV if you are interested. A strong background in math / statistics, PL / verification, security, or large systems-building is necessary for our research. 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 a year of rigorous work if you wish to do your UROP or final-year thesis projects with me.


Publications Software Teaching CV Google Scholar Fix A Meeting?