Prateek Saxena

Prateek Saxena picture

Hey! I work in a wonderful place: the Computer Science Department at National University of Singapore. My research is on computer security and its intersection with programming languages or formal methods.

Security concerns are real. But, certain principled and algorithmic approaches can solve many security problems we face today. I am extremely fortunate to work with a few people who are passionate about discovering these approaches and making them practical:

Present - Shiqi Shen (PhD), Teodora Baluta (PhD), Aashish Kolluri (PhD), Ivica Nikolic (Postdoc), and Pinghai Yuan (Postdoc).

Alumni - Loi Luu (Kyber), Shweta Shinde (UC Berkeley), Shruti Tople (Microsoft Research), Yaoqi Jia (Zilliqa Research), Jason Teutsch (TrueBit), Virgil Griffith (Ethereum), Hoon Wei Lim (SingTel-NUS Research Lab), Amrit Kumar (Zilliqa Research) and Enrico Budianto.

My present topics of focus are machine learning security, cryptocurrencies, trusted computing, and binary-level defenses. For our released software projects, please see the software release (or publications) webpage. Thanks to Google, Intel, Symantec, sponsors of the Crystal Center, MoE-Singapore, DSO Labs, NRF-Singapore, for their generous and continued support to our research!

Our past group member launched spinoffs originating from their research. See Zilliqa, Anqlave, KyberNetwork, Dexecure , TrueBit and SmartPool (non-profit) as examples. I have fond memories of the CS department at UC Berkeley, where I got my PhD in 2012.

 

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

Email: prateeks at comp dot nus dot edu dot sg


Thanks for join us for the deep learning security workshop, the research forum, and blockchain and security workshops in the past.

New!  I am looking for highly independent PhD students, interns and postdocs in our group. Please send me an email with your CV if you are interested in the topics of interest to me. 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?