Prateek SAXENA
Associate ProfessorCo-Director, CRYSTAL Centre
- Ph.D. (Computer Science, University of California, Berkeley, CA, USA, 2012)
- M.S. (Computer Science, Stony Brook University, NY, USA, 2007)
- B.E. (Computer Engineering, University of Pune, India, 2004)
I am an Associate Professor in the Computer Science Department at National University of Singapore. I work on computer security. My present research projects are on machine learning security, decentralized systems, privacy and harware architectures for 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.
RESEARCH AREAS
RESEARCH INTERESTS
Security
Trustworthy AI
Programming Languages & Verification
My research asks aims to build better security and privacy in practical systems. The work involves combining formal reasoning, tools and ideas from several domains of computer science such as languages, verification, applied cryptography and distributed systems. Our work has resulted in several practical artifacts powering real-world systems.
RESEARCH PROJECTS
A Hybrid Approach to Automatic Programming
The project introduces an innovative approach that combines traditional program analysis, neural machine translation, and human guidance to enhance accuracy and generalization in automated programming tasks, thereby making coding accessible to non-experts.
RESEARCH GROUPS
TEACHING INNOVATIONS
SELECTED PUBLICATIONS
- Data-Oriented Programming: On the Expressiveness of Non-Control Data AttacksHong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, and Zhenkai Liang.IEEE Symposium on Security and PrivacyOakland 2016
- Making Smart Contracts SmarterLoi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas HoborACM Conference on Computer and Communications Security CCS 2016
- A Secure Sharding Protocol For Open BlockchainsLoi Luu, Viswesh Narayanan, Chaodong Zheng, Kunal Baweja, Seth Gilbert, Prateek Saxena.ACM Conference on Computer and Communications Security CCS 2016
- Panoply: Low-TCB Linux Applications With SGX EnclavesShweta Shinde, Dat Le Tien, Shruti Tople, and Prateek SaxenaNetwork and Distributed System Security Symposium NDSS 2017
- Neural Nets Can Learn Function Type Signatures From BinariesZheng Leong Chua, Shiqi Shen, Prateek Saxena, Zhenkai LiangUsenix Security Symposium Usenix Security 2017
AWARDS & HONOURS
MIT Technical Review, Top 10 Innovators under 35, Asia - 2017
Security and Privacy Research Award, 2018
Young Research Award, NUS, 2017
David J. Sakrison Memorial Prize for outstanding doctoral work, EECS, UC Berkeley, 2012
MODULES TAUGHT
CS3235
Computer Security
CS5562
Trustworthy Machine Learning