Prateek Saxena

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Prateek Saxena

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsprs@nus.edu.sg

Refined By:

Policy: Open

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

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2020	BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof	Shinde, Shweta ; Wang, Shengyi; Yuan, Pinghai ; Hobor, Aquinas ; Roychoudhury, Abhik ; Saxena, Prateek
2	2020	Elasticlave: An Efficient Memory Model for Enclaves.	Yu, Zhijingcheng; Shinde, Shweta; Carlson, Trevor E ; Saxena, Prateek
3	May-2020	Epione: Lightweight Contact Tracing with Strong Privacy.	Trieu, Ni; Shehata, Kareem; Saxena, Prateek ; Shokri, Reza ; Song, Dawn
4	2020	Localizing Patch Points From One Exploit.	Shen, Shiqi ; Kolluri, Aashish; Dong, Zhen ; Saxena, Prateek ; Roychoudhury, Abhik
5	2019	Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints	Shiqi, Shen; Shinde, Shweta ; Ramesh, Soundarya; Roychoudhury, Abhik ; Saxena, Prateek
6	May-2020	OHIE: Blockchain scaling made simple	H. Yu ; R. Hou ; Ivica Nikolic ; Prateek Saxena
7	2018	Randomized View Reconciliation in Permissionless Distributed Systems	I. Jahja ; H. Yu ; R. Hou ; Loi Luu ; Prateek Saxena