1. ScholarBank@NUS

Prateek Saxena

rp24378

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Prateek Saxena
Main Affiliation
 
Faculty
 
Email
dcsprs@nus.edu.sg
 

Publications

Results 1-8 of 8 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)
12020BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety ProofShinde, Shweta ; Wang, Shengyi; Yuan, Pinghai ; Hobor, Aquinas ; Roychoudhury, Abhik ; Saxena, Prateek 
22020Elasticlave: An Efficient Memory Model for Enclaves.Yu, Zhijingcheng; Shinde, Shweta; Carlson, Trevor E ; Saxena, Prateek 
3May-2020Epione: Lightweight Contact Tracing with Strong Privacy.Trieu, Ni; Shehata, Kareem; Saxena, Prateek ; Shokri, Reza ; Song, Dawn 
42020Localizing Patch Points From One Exploit.Shen, Shiqi ; Kolluri, Aashish; Dong, Zhen ; Saxena, Prateek ; Roychoudhury, Abhik 
52019Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural ConstraintsShiqi, Shen; Shinde, Shweta ; Ramesh, Soundarya; Roychoudhury, Abhik ; Saxena, Prateek 
6May-2020OHIE: Blockchain scaling made simpleH. Yu ; R. Hou ; Ivica Nikolic ; Prateek Saxena 
72018Randomized View Reconciliation in Permissionless Distributed SystemsI. Jahja ; H. Yu ; R. Hou ; Loi Luu ; Prateek Saxena 
814-Jan-2022Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in BlockchainsRuomu Hou; Haifeng Yu ; Prateek Saxena