Biblio

Export 14 results:
Filters: Author is Prateek Saxena  [Clear All Filters]
2023
Yu JZhijingche, Watt C, Badole A, Carlson TE, Saxena P.  2023.  Capstone: A Capability-based Foundation for Trustless Secure Memory Access. 32nd USENIX Security Symposium (USENIX Security 23). :787--804.
2022
Yu JZhijingche, Shinde S, Carlson TE, Saxena P.  2022.  Elasticlave: An Efficient Memory Model for Enclaves. 31st USENIX Security Symposium (USENIX Security 22). :4111--4128.
Ji K, Zeng J, Jiang Y, Liang Z, Chua ZLeong, Saxena P, Roychoudhury A.  2022.  FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation. 31st USENIX Security Symposium (USENIX Security 22). :2567--2584.
2020
Shinde S, Wang S, Yuan P, Hobor A, Roychoudhury A, Saxena P.  2020.  BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. 29th USENIX Security Symposium (USENIX Security 20). :523--540.
Jia Y, Tople S, Moataz T, Gong D, Saxena P, Liang Z.  2020.  Robust P2P Primitives Using SGX Enclaves. 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020). :209--224.
2019
Tople S, Jia Y, Saxena P.  2019.  PRO-ORAM: Practical Read-Only Oblivious RAM. 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019). :197--211.
2017
Chua ZLeong, Shen S, Saxena P, Liang Z.  2017.  Neural Nets Can Learn Function Type Signatures From Binaries. 26th USENIX Security Symposium (USENIX Security 17). :99--116.
Luu L, Velner Y, Teutsch J, Saxena P.  2017.  SmartPool: Practical Decentralized Pooled Mining. 26th USENIX Security Symposium (USENIX Security 17). :1409--1426.
2016
Jia Y, Moataz T, Tople S, Saxena P.  2016.  OblivP2P: An Oblivious Peer-to-Peer Content Sharing System. 25th USENIX Security Symposium (USENIX Security 16). :945--962.
2015
Hu H, Chua ZLeong, Adrian S, Saxena P, Liang Z.  2015.  Automatic Generation of Data-Oriented Exploits. 24th USENIX Security Symposium (USENIX Security 15). :177--192.
Dinh TTuan Anh, Saxena P, Chang E-C, Ooi BChin, Zhang C.  2015.  M2R: Enabling Stronger Privacy in MapReduce Computation. 24th USENIX Security Symposium (USENIX Security 15). :447--462.
2014
Le Blond S, Uritesc A, Gilbert C, Chua ZLeong, Saxena P, Kirda E.  2014.  A Look at Targeted Attacks Through the Lense of an NGO. 23rd USENIX Security Symposium (USENIX Security 14). :543--558.
2012
Akhawe D, Saxena P, Song D.  2012.  Privilege Separation in HTML5 Applications. 21st USENIX Security Symposium (USENIX Security 12). :429--444.
2011
Hooimeijer P, Livshits B, Molnar D, Saxena P, Veanes M.  2011.  Fast and Precise Sanitizer Analysis with BEK. 20th USENIX Security Symposium (USENIX Security 11).