Prateek SAXENA

Dean's Chair Associate Professor
Co-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)
COM2-03-40
660 11898

Research Areas

  • Systems & Networking
  • Security
  • Algorithms & Theory

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.

Profile

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!

Current Projects

  • Safety and Scalability of Blockchains
  • Machine Learning For Security
  • Privacy, Trust Minimization and Verifiability Of Computation

Selected Publications

  • Data-Oriented Programming: On the Expressiveness of Non-Control Data Attacks
    Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, and Zhenkai Liang. IEEE Symposium on Security and Privacy Oakland 2016 )

  • Making Smart Contracts Smarter
    Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
    ACM Conference on Computer and Communications Security ( CCS 2016 )

  • A Secure Sharding Protocol For Open Blockchains
    Loi 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 Enclaves
    Shweta Shinde, Dat Le Tien, Shruti Tople, and Prateek Saxena
    Network and Distributed System Security Symposium ( NDSS 2017 )

  • Neural Nets Can Learn Function Type Signatures From Binaries
    Zheng Leong Chua, Shiqi Shen, Prateek Saxena, Zhenkai Liang
    Usenix Security Symposium ( Usenix Security 2017 )

Awards & Honours

  • MIT Technical Review, Top 10 Innovators under 35, Asia - 2017
  • Young Research Award, NUS, 2017
  • David J. Sakrison Memorial Prize for outstanding doctoral work, EECS, UC Berkeley, 2017
  • AT&T Best Applied Security Paper Award, 2010

Teaching (2019/2020)

  • CS5231: Systems Security
  • CS6230: Topics in Information Security