Prateek Saxena

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 84

Top Venues

CoRR

CCS

USENIX Security Symposium

IACR Cryptol. ePrint Arch.

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Aashish Kolluri, Sarthak Choudhary, Bryan Hooi, Prateek Saxena
RETEXO: Scalable Neural Network Training over Distributed Graphs. CoRR (2023)
Teodora Baluta, Ivica Nikolic, Racchit Jain, Divesh Aggarwal, Prateek Saxena
Unforgeability in Stochastic Gradient Descent. CCS (2023)
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena
Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version). CoRR (2023)
Sarthak Choudhary, Aashish Kolluri, Prateek Saxena
Attacking Byzantine Robust Aggregation in High Dimensions. CoRR (2023)
Bo Wang, Aashish Kolluri, Ivica Nikolic, Teodora Baluta, Prateek Saxena
User-Customizable Transpilation of Scripting Languages. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena
Capstone: A Capability-based Foundation for Trustless Secure Memory Access. USENIX Security Symposium (2023)
Bo Wang, Aashish Kullori, Ivica Nikolic, Teodora Baluta, Prateek Saxena
User-customizable Transpilation of Scripting Languages. CoRR (2023)
Bo Wang, Ruishi Li, Mingkai Li, Prateek Saxena
TransMap: Pinpointing Mistakes in Neural Code Translation. ESEC/SIGSOFT FSE (2023)
Jason Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
Elasticlave: An Efficient Memory Model for Enclaves. USENIX Security Symposium (2022)
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
Membership Inference Attacks and Generalization: A Causal Perspective. CCS (2022)
Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena
LPGNet: Link Private Graph Networks for Node Classification. CCS (2022)
Kaihang Ji, Jun Zeng, Yuancheng Jiang, Zhenkai Liang, Zheng Leong Chua, Prateek Saxena, Abhik Roychoudhury
FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation. USENIX Security Symposium (2022)
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
Membership Inference Attacks and Generalization: A Causal Perspective. CoRR (2022)
Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena
LPGNet: Link Private Graph Networks for Node Classification. CoRR (2022)
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
Dynamic Binary Translation for SGX Enclaves. ACM Trans. Priv. Secur. 25 (4) (2022)
Ruomu Hou, Haifeng Yu, Prateek Saxena
Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains. IEEE Symposium on Security and Privacy (2022)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
Scalable Quantitative Verification For Deep Neural Networks. ICSE (2021)
Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
Localizing Vulnerabilities Statistically From One Exploit. AsiaCCS (2021)
Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai
SmashEx: Smashing SGX Enclaves Using Exceptions. CoRR (2021)
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
Dynamic Binary Translation for SGX Enclaves. CoRR (2021)
Ivica Nikolic, Radu Mantu, Shiqi Shen, Prateek Saxena
Refined Grey-Box Fuzzing with SIVO. CoRR (2021)
Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai
SmashEx: Smashing SGX Enclaves Using Exceptions. CCS (2021)
Ruomu Hou, Haifeng Yu, Prateek Saxena
Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains. CoRR (2021)
Aashish Kolluri, Teodora Baluta, Prateek Saxena
Private Hierarchical Clustering in Federated Networks. CCS (2021)
Aashish Kolluri, Teodora Baluta, Prateek Saxena
Private Hierarchical Clustering in Federated Networks. CoRR (2021)
Bo Wang, Teodora Baluta, Aashish Kolluri, Prateek Saxena
SynGuar: guaranteeing generalization in programming by example. ESEC/SIGSOFT FSE (2021)
Ivica Nikolic, Radu Mantu, Shiqi Shen, Prateek Saxena
Refined Grey-Box Fuzzing with Sivo. DIMVA (2021)
Bo Wang, Teodora Baluta, Aashish Kolluri, Prateek Saxena
SynGuar: Guaranteeing Generalization in Programming by Example. CoRR (2021)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
Scalable Quantitative Verification for Deep Neural Networks. ICSE (Companion Volume) (2021)
Prateek Saxena, Soma Paul
Labelled EPIE: A Dataset for Idiom Sense Disambiguation. TDS (2021)
Ni Trieu, Kareem Shehata, Prateek Saxena, Reza Shokri, Dawn Song
Epione: Lightweight Contact Tracing with Strong Privacy. IEEE Data Eng. Bull. 43 (2) (2020)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. USENIX Security Symposium (2020)
Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang
Robust P2P Primitives Using SGX Enclaves. RAID (2020)
Shweta Shinde, Jinhua Cui, Satyaki Sen, Pinghai Yuan, Prateek Saxena
Binary Compatibility For SGX Enclaves. CoRR (2020)
Prateek Saxena, Soma Paul
EPIE Dataset: A Corpus For Possible Idiomatic Expressions. CoRR (2020)
Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
Localizing Patch Points From One Exploit. CoRR (2020)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
Scalable Quantitative Verification For Deep Neural Networks. CoRR (2020)
Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang
Robust P2P Primitives Using SGX Enclaves. ICDCS (2020)
Haifeng Yu, Ivica Nikolic, Ruomu Hou, Prateek Saxena
OHIE: Blockchain Scaling Made Simple. IEEE Symposium on Security and Privacy (2020)
Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
Elasticlave: An Efficient Memory Model for Enclaves. CoRR (2020)
Ruomu Hou, Irvan Jahja, Loi Luu, Prateek Saxena, Haifeng Yu
Randomized View Reconciliation in Permissionless Distributed Systems. IEEE/ACM Trans. Netw. 28 (5) (2020)
Prateek Saxena, Soma Paul
EPIE Dataset: A Corpus for Possible Idiomatic Expressions. TDS (2020)
Ni Trieu, Kareem Shehata, Prateek Saxena, Reza Shokri, Dawn Song
Epione: Lightweight Contact Tracing with Strong Privacy. CoRR (2020)
Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
Practical Verifiable In-network Filtering for DDoS Defense. ICDCS (2019)
Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
Practical Verifiable In-network Filtering for DDoS defense. CoRR (2019)
Zheng Leong Chua, Yanhao Wang, Teodora Baluta, Prateek Saxena, Zhenkai Liang, Purui Su
One Engine To Serve 'em All: Inferring Taint Rules Without Architectural Semantics. NDSS (2019)
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
Quantitative Verification of Neural Networks and Its Security Applications. CCS (2019)
Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena
Exploiting the laws of order in smart contracts. ISSTA (2019)
Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. NDSS (2019)
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
Quantitative Verification of Neural Networks And its Security Applications. CoRR (2019)
Shruti Tople, Yaoqi Jia, Prateek Saxena
PRO-ORAM: Practical Read-Only Oblivious RAM. RAID (2019)
Sourav Das, Aashish Kolluri, Prateek Saxena, Haifeng Yu
(Invited Paper) on the Security of Blockchain Consensus Protocols. ICISS (2018)
Shruti Tople, Soyeon Park, Min Suk Kang, Prateek Saxena
VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation. ACNS (2018)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR (2018)
Muoi Tran, Loi Luu, Min Suk Kang, Iddo Bentov, Prateek Saxena
Obscuro: A Bitcoin Mixer using Trusted Execution Environments. ACSAC (2018)
Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR (2018)
Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. ACSAC (2018)
Ruomu Hou, Irvan Jahja, Loi Luu, Prateek Saxena, Haifeng Yu
Randomized View Reconciliation in Permissionless Distributed Systems. INFOCOM (2018)
Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena
Exploiting The Laws of Order in Smart Contracts. CoRR (2018)
Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. CoRR (2018)
Shruti Tople, Yaoqi Jia, Prateek Saxena
PRO-ORAM: Constant Latency Read-Only Oblivious RAM. IACR Cryptol. ePrint Arch. 2018 (2018)
Haifeng Yu, Ivica Nikolic, Ruomu Hou, Prateek Saxena
OHIE: Blockchain Scaling Made Simple. CoRR (2018)
Shweta Shinde, Dat Le Tien, Shruti Tople, Prateek Saxena
Panoply: Low-TCB Linux Applications With SGX Enclaves. NDSS (2017)
Amrit Kumar, Clément Fischer, Shruti Tople, Prateek Saxena
A Traceability Analysis of Monero's Blockchain. IACR Cryptol. ePrint Arch. 2017 (2017)
Amrit Kumar, Clément Fischer, Shruti Tople, Prateek Saxena
A Traceability Analysis of Monero's Blockchain. ESORICS (2) (2017)
Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang
Robust Synchronous P2P Primitives Using SGX Enclaves. IACR Cryptol. ePrint Arch. 2017 (2017)
Shruti Tople, Prateek Saxena
On the Trade-Offs in Oblivious Execution Techniques. DIMVA (2017)
Muoi Tran, Loi Luu, Min Suk Kang, Iddo Bentov, Prateek Saxena
Obscuro: A Bitcoin Mixer using Trusted Execution Environments. IACR Cryptol. ePrint Arch. 2017 (2017)
Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena
SmartPool: Practical Decentralized Pooled Mining. USENIX Security Symposium (2017)
Zheng Leong Chua, Shiqi Shen, Prateek Saxena, Zhenkai Liang
Neural Nets Can Learn Function Type Signatures From Binaries. USENIX Security Symposium (2017)
Shruti Tople, Hung Dang, Prateek Saxena, Ee-Chien Chang
PermuteRam: Optimizing Oblivious Computation for Efficiency. IACR Cryptol. ePrint Arch. 2017 (2017)
Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena
SMART POOL : Practical Decentralized Pooled Mining. IACR Cryptol. ePrint Arch. 2017 (2017)
Yaoqi Jia, Tarik Moataz, Shruti Tople, Prateek Saxena
OblivP2P: An Oblivious Peer-to-Peer Content Sharing System. USENIX Security Symposium (2016)
Yaoqi Jia, Guangdong Bai, Prateek Saxena, Zhenkai Liang
Anonymity in Peer-assisted CDNs: Inference Attacks and Mitigation. Proc. Priv. Enhancing Technol. 2016 (4) (2016)
Jason Teutsch, Sanjay Jain, Prateek Saxena
When Cryptocurrencies Mine Their Own Business. Financial Cryptography (2016)
Yaoqi Jia, Zheng Leong Chua, Hong Hu, Shuo Chen, Prateek Saxena, Zhenkai Liang
"The Web/Local" Boundary Is Fuzzy: A Security Study of Chrome's Process-based Sandboxing. CCS (2016)
Loi Luu, Viswesh Narayanan, Chaodong Zheng, Kunal Baweja, Seth Gilbert, Prateek Saxena
A Secure Sharding Protocol For Open Blockchains. CCS (2016)
Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, Zhenkai Liang
Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks. IEEE Symposium on Security and Privacy (2016)
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
Preventing Page Faults from Telling Your Secrets. AsiaCCS (2016)
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
Making Smart Contracts Smarter. CCS (2016)
Kyle Croman, Christian Decker, Ittay Eyal, Adem Efe Gencer, Ari Juels, Ahmed E. Kosba, Andrew Miller, Prateek Saxena, Elaine Shi, Emin Gün Sirer, Dawn Song, Roger Wattenhofer
On Scaling Decentralized Blockchains - (A Position Paper). Financial Cryptography Workshops (2016)
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
Making Smart Contracts Smarter. IACR Cryptol. ePrint Arch. 2016 (2016)
Shiqi Shen, Shruti Tople, Prateek Saxena
Auror: defending against poisoning attacks in collaborative deep learning systems. ACSAC (2016)
Sanjay Jain, Prateek Saxena, Frank Stephan, Jason Teutsch
How to verify computation with a rational network. CoRR (2016)
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
DexterJS: robust testing platform for DOM-based XSS vulnerabilities. ESEC/SIGSOFT FSE (2015)
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks. CoRR (2015)
Pratik Soni, Enrico Budianto, Prateek Saxena
The SICILIAN Defense: Signature-based Whitelisting of Web JavaScript. CCS (2015)
Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, Aquinas Hobor
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining. IACR Cryptol. ePrint Arch. 2015 (2015)
Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, Aquinas Hobor
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining. CSF (2015)
Tien Tuan Anh Dinh, Prateek Saxena, Ee-Chien Chang, Beng Chin Ooi, Chunwang Zhang
M2R: Enabling Stronger Privacy in MapReduce Computation. USENIX Security Symposium (2015)
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
Auto-patching DOM-based XSS at scale. ESEC/SIGSOFT FSE (2015)
Loi Luu, Jason Teutsch, Raghav Kulkarni, Prateek Saxena
Demystifying incentives in the consensus computer. IACR Cryptol. ePrint Arch. 2015 (2015)
Mattia Fazzini, Prateek Saxena, Alessandro Orso
AutoCSP: Automatically Retrofitting CSP to Web Applications. ICSE (1) (2015)
Hong Hu, Zheng Leong Chua, Sendroiu Adrian, Prateek Saxena, Zhenkai Liang
Automatic Generation of Data-Oriented Exploits. USENIX Security Symposium (2015)
Hong Hu, Zheng Leong Chua, Zhenkai Liang, Prateek Saxena
Identifying Arbitrary Memory Access Vulnerabilities in Privilege-Separated Software. ESORICS (2) (2015)
Yaoqi Jia, Yue Chen, Xinshu Dong, Prateek Saxena, Jian Mao, Zhenkai Liang
Man-in-the-browser-cache: Persisting HTTPS attacks via browser cache poisoning. Comput. Secur. 55 (2015)
Loi Luu, Jason Teutsch, Raghav Kulkarni, Prateek Saxena
Demystifying Incentives in the Consensus Computer. CCS (2015)
Yaoqi Jia, Xinshu Dong, Zhenkai Liang, Prateek Saxena
I Know Where You've Been: Geo-Inference Attacks via the Browser Cache. IEEE Internet Comput. 19 (1) (2015)
Behnaz Hassanshahi, Yaoqi Jia, Roland H. C. Yap, Prateek Saxena, Zhenkai Liang
Web-to-Application Injection Attacks on Android: Characterization and Detection. ESORICS (2) (2015)
Stevens Le Blond, Adina Uritesc, Cédric Gilbert, Zheng Leong Chua, Prateek Saxena, Engin Kirda
A Look at Targeted Attacks Through the Lense of an NGO. USENIX Security Symposium (2014)

Prateek Saxena.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Prateek Saxena