Efficient fine-grained binary instrumentationwith applications to taint-tracking. - Prateek Saxena; R. Sekar 001; Varun Puranik (CGO, 2008)

On the Limits of Information Flow Techniques for Malware Analysis and Containment. - Lorenzo Cavallaro; Prateek Saxena; R. Sekar 001 (DIMVA, 2008)

BitBlaze: A New Approach to Computer Security via Binary Analysis. - Dawn Xiaodong Song; David Brumley; Heng Yin 001; Juan Caballero; Ivan Jager; Min Gyung Kang; Zhenkai Liang; James Newsome; Pongsin Poosankam; Prateek Saxena (ICISS, 2008)

Loop-extended symbolic execution on binary programs. - Prateek Saxena; Pongsin Poosankam; Stephen McCamant; Dawn Song (ISSTA, 2009)

Document Structure Integrity: A Robust Basis for Cross-site Scripting Defense. - Yacin Nadji; Prateek Saxena; Dawn Song (NDSS, 2009)

Protecting Browsers from Extension Vulnerabilities. - Adam Barth; Adrienne Porter Felt; Prateek Saxena; Aaron Boodman (NDSS, 2010)

FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications. - Prateek Saxena; Steve Hanna; Pongsin Poosankam; Dawn Song (NDSS, 2010)

A Symbolic Execution Framework for JavaScript. - Prateek Saxena; Devdatta Akhawe; Steve Hanna; Feng Mao; Stephen McCamant; Dawn Song (IEEE Symposium on Security and Privacy, 2010)

Context-sensitive auto-sanitization in web templating languages using type qualifiers. - Mike Samuel; Prateek Saxena; Dawn Song (CCS, 2011)

SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications. - Prateek Saxena; David Molnar; Benjamin Livshits (CCS, 2011)

A Systematic Analysis of XSS Sanitization in Web Application Frameworks. - Joel Weinberger; Prateek Saxena; Devdatta Akhawe; Matthew Finifter; Eui Chul Richard Shin; Dawn Song (ESORICS, 2011)

Fast and Precise Sanitizer Analysis with BEK. - Pieter Hooimeijer; Benjamin Livshits; David Molnar; Prateek Saxena; Margus Veanes (USENIX Security Symposium, 2011)

Privilege Separation in HTML5 Applications. - Devdatta Akhawe; Prateek Saxena; Dawn Song (USENIX Security Symposium, 2012)

Systematic Techniques for Finding and Preventing Script Injection Vulnerabilities. - Prateek Saxena (2012)

CRYPTSERVER: strong data protection in commodity LAMP servers. - Zhaofeng Chen; Xinshu Dong; Prateek Saxena; Zhenkai Liang (CCS, 2013)

Protecting sensitive web content from client-side vulnerabilities with CRYPTONS. - Xinshu Dong; Zhaofeng Chen; Hossein Siadati; Shruti Tople; Prateek Saxena; Zhenkai Liang (CCS, 2013)

The curse of 140 characters: evaluating the efficacy of SMS spam detection on android. - Akshay Narayan 002; Prateek Saxena (SPSM@CCS, 2013)

AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content. - Shruti Tople; Shweta Shinde; Zhaofeng Chen; Prateek Saxena (CCS, 2013)

Data-Confined HTML5 Applications. - Devdatta Akhawe; Frank Li 001; Warren He; Prateek Saxena; Dawn Song (ESORICS, 2013)

A Quantitative Evaluation of Privilege Separation in Web Browser Designs. - Xinshu Dong; Hong Hu 004; Prateek Saxena; Zhenkai Liang (ESORICS, 2013)

AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. - Guangdong Bai; Jike Lei; Guozhu Meng; Sai Sathyanarayan Venkatraman; Prateek Saxena; Jun Sun 001; Yang Liu 003; Jin Song Dong (NDSS, 2013)

Hardware-software Scalable Architectures for Gaussian Elimination over GF(2) and Higher Galois Fields. - Prateek Saxena; Vinay B. Y. Kumar; Dilawar Singh; H. Narayanan; Sachin B. Patkar (PECCS, 2013)

Comparative analysis of speech enhancement methods. - Pankai Gael; Mahesh Chandra; Prateek Saxena; Vijay Kumar Gupta (WOCN, 2013)

DroidVault: A Trusted Data Vault for Android Devices. - Xiaolei Li; Hong Hu 004; Guangdong Bai; Yaoqi Jia; Zhenkai Liang; Prateek Saxena (ICECCS, 2014)

A model counter for constraints over unbounded strings. - Loi Luu; Shweta Shinde; Prateek Saxena; Brian Demsky (PLDI, 2014)

You Can't Be Me: Enabling Trusted Paths and User Sub-origins in Web Browsers. - Enrico Budianto; Yaoqi Jia; Xinshu Dong; Prateek Saxena; Zhenkai Liang (RAID, 2014)

A Look at Targeted Attacks Through the Lense of an NGO. - Stevens Le Blond; Adina Uritesc; Cédric Gilbert; Zheng Leong Chua; Prateek Saxena; Engin Kirda (USENIX Security Symposium, 2014)

Faster Secure Arithmetic Computation Using Switchable Homomorphic Encryption. - Hoon Wei Lim; Shruti Tople; Prateek Saxena; Ee-Chien Chang (IACR Cryptol. ePrint Arch., 2014)

The SICILIAN Defense: Signature-based Whitelisting of Web JavaScript. - Pratik Soni; Enrico Budianto; Prateek Saxena (CCS, 2015)

Web-to-Application Injection Attacks on Android: Characterization and Detection. - Behnaz Hassanshahi; Yaoqi Jia; Roland H. C. Yap; Prateek Saxena; Zhenkai Liang (ESORICS (2), 2015)

Identifying Arbitrary Memory Access Vulnerabilities in Privilege-Separated Software. - Hong Hu 004; Zheng Leong Chua; Zhenkai Liang; Prateek Saxena (ESORICS (2), 2015)

AutoCSP: Automatically Retrofitting CSP to Web Applications. - Mattia Fazzini; Prateek Saxena; Alessandro Orso (ICSE (1), 2015)

Auto-patching DOM-based XSS at scale. - Inian Parameshwaran; Enrico Budianto; Shweta Shinde; Hung Dang; Atul Sadhu; Prateek Saxena (ESEC/SIGSOFT FSE, 2015)

DexterJS: robust testing platform for DOM-based XSS vulnerabilities. - Inian Parameshwaran; Enrico Budianto; Shweta Shinde; Hung Dang; Atul Sadhu; Prateek Saxena (ESEC/SIGSOFT FSE, 2015)

M2R: Enabling Stronger Privacy in MapReduce Computation. - Tien Tuan Anh Dinh; Prateek Saxena; Ee-Chien Chang; Beng Chin Ooi; Chunwang Zhang (USENIX Security Symposium, 2015)

Automatic Generation of Data-Oriented Exploits. - Hong Hu 004; Zheng Leong Chua; Sendroiu Adrian; Prateek Saxena; Zhenkai Liang (USENIX Security Symposium, 2015)

Man-in-the-browser-cache: Persisting HTTPS attacks via browser cache poisoning. - Yaoqi Jia; Yue Chen; Xinshu Dong; Prateek Saxena; Jian Mao; Zhenkai Liang (Comput. Secur., 2015)

Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks. - Shweta Shinde; Zheng Leong Chua; Viswesh Narayanan; Prateek Saxena (CoRR, 2015)

On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining. - Loi Luu; Ratul Saha; Inian Parameshwaran; Prateek Saxena; Aquinas Hobor (IACR Cryptol. ePrint Arch., 2015)

Demystifying incentives in the consensus computer. - Loi Luu; Jason Teutsch; Raghav Kulkarni; Prateek Saxena (IACR Cryptol. ePrint Arch., 2015)

I Know Where You've Been: Geo-Inference Attacks via the Browser Cache. - Yaoqi Jia; Xinshu Dong; Zhenkai Liang; Prateek Saxena (IEEE Internet Comput., 2015)

Auror: defending against poisoning attacks in collaborative deep learning systems. - Shiqi Shen; Shruti Tople; Prateek Saxena (ACSAC, 2016)

"The Web/Local" Boundary Is Fuzzy: A Security Study of Chrome's Process-based Sandboxing. - Yaoqi Jia; Zheng Leong Chua; Hong Hu 004; Shuo Chen 001; Prateek Saxena; Zhenkai Liang (CCS, 2016)

A Secure Sharding Protocol For Open Blockchains. - Loi Luu; Viswesh Narayanan; Chaodong Zheng; Kunal Baweja; Seth Gilbert; Prateek Saxena (CCS, 2016)

Preventing Page Faults from Telling Your Secrets. - Shweta Shinde; Zheng Leong Chua; Viswesh Narayanan; Prateek Saxena (AsiaCCS, 2016)

On Scaling Decentralized Blockchains - (A Position Paper). - Kyle Croman; Christian Decker 002; Ittay Eyal; Adem Efe Gencer; Ari Juels; Ahmed E. Kosba; Andrew Miller 001; Prateek Saxena; Elaine Shi; Emin Gün Sirer; Dawn Song; Roger Wattenhofer (Financial Cryptography Workshops, 2016)

When Cryptocurrencies Mine Their Own Business. - Jason Teutsch; Sanjay Jain 001; Prateek Saxena (Financial Cryptography, 2016)

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

OblivP2P: An Oblivious Peer-to-Peer Content Sharing System. - Yaoqi Jia; Tarik Moataz; Shruti Tople; Prateek Saxena (USENIX Security Symposium, 2016)

How to verify computation with a rational network. - Sanjay Jain 001; Prateek Saxena; Frank Stephan 001; Jason Teutsch (CoRR, 2016)

Making Smart Contracts Smarter. - Loi Luu; Duc-Hiep Chu; Hrishi Olickel; Prateek Saxena; Aquinas Hobor (IACR Cryptol. ePrint Arch., 2016)

Anonymity in Peer-assisted CDNs: Inference Attacks and Mitigation. - Yaoqi Jia; Guangdong Bai; Prateek Saxena; Zhenkai Liang (Proc. Priv. Enhancing Technol., 2016)

On the Trade-Offs in Oblivious Execution Techniques. - Shruti Tople; Prateek Saxena (DIMVA, 2017)

Panoply: Low-TCB Linux Applications With SGX Enclaves. - Shweta Shinde; Dat Le Tien; Shruti Tople; Prateek Saxena (NDSS, 2017)

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

SmartPool: Practical Decentralized Pooled Mining. - Loi Luu; Yaron Velner; Jason Teutsch; Prateek Saxena (USENIX Security Symposium, 2017)

Robust Synchronous P2P Primitives Using SGX Enclaves. - Yaoqi Jia; Shruti Tople; Tarik Moataz; Deli Gong; Prateek Saxena; Zhenkai Liang (IACR Cryptol. ePrint Arch., 2017)

A Traceability Analysis of Monero's Blockchain. - Amrit Kumar 001; Clément Fischer; Shruti Tople; Prateek Saxena (IACR Cryptol. ePrint Arch., 2017)

SMART POOL : Practical Decentralized Pooled Mining. - Loi Luu; Yaron Velner; Jason Teutsch; Prateek Saxena (IACR Cryptol. ePrint Arch., 2017)

PermuteRam: Optimizing Oblivious Computation for Efficiency. - Shruti Tople; Hung Dang; Prateek Saxena; Ee-Chien Chang (IACR Cryptol. ePrint Arch., 2017)

Obscuro: A Bitcoin Mixer using Trusted Execution Environments. - Muoi Tran; Loi Luu; Min Suk Kang; Iddo Bentov; Prateek Saxena (IACR Cryptol. ePrint Arch., 2017)

VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation. - Shruti Tople; Soyeon Park; Min Suk Kang; Prateek Saxena (ACNS, 2018)

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. - Ivica Nikolic; Aashish Kolluri; Ilya Sergey; Prateek Saxena; Aquinas Hobor (ACSAC, 2018)

(Invited Paper) on the Security of Blockchain Consensus Protocols. - Sourav Das; Aashish Kolluri; Prateek Saxena; Haifeng Yu (ICISS, 2018)

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. - Shweta Shinde; Shengyi Wang; Pinghai Yuan; Aquinas Hobor; Abhik Roychoudhury; Prateek Saxena (CoRR, 2018)

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. - Shiqi Shen; Soundarya Ramesh; Shweta Shinde; Abhik Roychoudhury; Prateek Saxena (CoRR, 2018)

PRO-ORAM: Constant Latency Read-Only Oblivious RAM. - Shruti Tople; Yaoqi Jia; Prateek Saxena (IACR Cryptol. ePrint Arch., 2018)

Quantitative Verification of Neural Networks and Its Security Applications. - Teodora Baluta; Shiqi Shen; Shweta Shinde; Kuldeep S. Meel; Prateek Saxena (CCS, 2019)

Practical Verifiable In-network Filtering for DDoS Defense. - Deli Gong; Muoi Tran; Shweta Shinde; Hao Jin; Vyas Sekar; Prateek Saxena; Min Suk Kang (ICDCS, 2019)

Exploiting the laws of order in smart contracts. - Aashish Kolluri; Ivica Nikolic; Ilya Sergey; Aquinas Hobor; Prateek Saxena (ISSTA, 2019)

One Engine To Serve 'em All: Inferring Taint Rules Without Architectural Semantics. - Zheng Leong Chua; Yanhao Wang; Teodora Baluta; Prateek Saxena; Zhenkai Liang; Purui Su (NDSS, 2019)

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. - Shiqi Shen; Shweta Shinde; Soundarya Ramesh; Abhik Roychoudhury; Prateek Saxena (NDSS, 2019)

PRO-ORAM: Practical Read-Only Oblivious RAM. - Shruti Tople; Yaoqi Jia; Prateek Saxena (RAID, 2019)

Robust P2P Primitives Using SGX Enclaves. - Yaoqi Jia; Shruti Tople; Tarik Moataz; Deli Gong; Prateek Saxena; Zhenkai Liang (ICDCS, 2020)

OHIE: Blockchain Scaling Made Simple. - Haifeng Yu; Ivica Nikolic; Ruomu Hou; Prateek Saxena (SP, 2020)

EPIE Dataset: A Corpus for Possible Idiomatic Expressions. - Prateek Saxena; Soma Paul (TDS, 2020)

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. - Shweta Shinde; Shengyi Wang; Pinghai Yuan; Aquinas Hobor; Abhik Roychoudhury; Prateek Saxena (USENIX Security Symposium, 2020)

Localizing Patch Points From One Exploit. - Shiqi Shen; Aashish Kolluri; Zhen Dong; Prateek Saxena; Abhik Roychoudhury (CoRR, 2020)

Binary Compatibility For SGX Enclaves. - Shweta Shinde; Jinhua Cui 002; Satyaki Sen; Pinghai Yuan; Prateek Saxena (CoRR, 2020)

Epione: Lightweight Contact Tracing with Strong Privacy. - Ni Trieu; Kareem Shehata; Prateek Saxena; Reza Shokri; Dawn Song (IEEE Data Eng. Bull., 2020)

Randomized View Reconciliation in Permissionless Distributed Systems. - Ruomu Hou; Irvan Jahja; Loi Luu; Prateek Saxena; Haifeng Yu (IEEE/ACM Trans. Netw., 2020)

Localizing Vulnerabilities Statistically From One Exploit. - Shiqi Shen; Aashish Kolluri; Zhen Dong; Prateek Saxena; Abhik Roychoudhury (AsiaCCS, 2021)

SmashEx: Smashing SGX Enclaves Using Exceptions. - Jinhua Cui 002; Jason Zhijingcheng Yu; Shweta Shinde; Prateek Saxena; Zhiping Cai (CCS, 2021)

Private Hierarchical Clustering in Federated Networks. - Aashish Kolluri; Teodora Baluta; Prateek Saxena (CCS, 2021)

Refined Grey-Box Fuzzing with Sivo. - Ivica Nikolic; Radu Mantu; Shiqi Shen; Prateek Saxena (DIMVA, 2021)

Scalable Quantitative Verification For Deep Neural Networks. - Teodora Baluta; Zheng Leong Chua; Kuldeep S. Meel; Prateek Saxena (ICSE, 2021)

SynGuar: guaranteeing generalization in programming by example. - Bo Wang 146; Teodora Baluta; Aashish Kolluri; Prateek Saxena (ESEC/SIGSOFT FSE, 2021)

Labelled EPIE: A Dataset for Idiom Sense Disambiguation. - Prateek Saxena; Soma Paul (TDS, 2021)

SynGuar: Guaranteeing Generalization in Programming by Example (Artifact). - Bo Wang 146; Teodora Baluta; Aashish Kolluri; Prateek Saxena (Zenodo, 2021)

Membership Inference Attacks and Generalization: A Causal Perspective. - Teodora Baluta; Shiqi Shen; S. Hitarth; Shruti Tople; Prateek Saxena (CCS, 2022)

LPGNet: Link Private Graph Networks for Node Classification. - Aashish Kolluri; Teodora Baluta; Bryan Hooi; Prateek Saxena (CCS, 2022)

Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains. - Ruomu Hou; Haifeng Yu; Prateek Saxena (SP, 2022)

FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation. - Kaihang Ji; Jun Zeng 006; Yuancheng Jiang; Zhenkai Liang; Zheng Leong Chua; Prateek Saxena; Abhik Roychoudhury (USENIX Security Symposium, 2022)

Elasticlave: An Efficient Memory Model for Enclaves. - Jason Zhijingcheng Yu; Shweta Shinde; Trevor E. Carlson; Prateek Saxena (USENIX Security Symposium, 2022)

Dynamic Binary Translation for SGX Enclaves. - Jinhua Cui 002; Shweta Shinde; Satyaki Sen; Prateek Saxena; Pinghai Yuan (ACM Trans. Priv. Secur., 2022)

Unforgeability in Stochastic Gradient Descent. - Teodora Baluta; Ivica Nikolic; Racchit Jain; Divesh Aggarwal; Prateek Saxena (CCS, 2023)

TransMap: Pinpointing Mistakes in Neural Code Translation. - Bo Wang 146; Ruishi Li; Mingkai Li; Prateek Saxena (ESEC/SIGSOFT FSE, 2023)

Capstone: A Capability-based Foundation for Trustless Secure Memory Access. - Jason Zhijingcheng Yu; Conrad Watt; Aditya Badole; Trevor E. Carlson; Prateek Saxena (USENIX Security Symposium, 2023)

User-customizable Transpilation of Scripting Languages. - Bo Wang 146; Aashish Kullori; Ivica Nikolic; Teodora Baluta; Prateek Saxena (CoRR, 2023)

RETEXO: Scalable Neural Network Training over Distributed Graphs. - Aashish Kolluri; Sarthak Choudhary; Bryan Hooi; Prateek Saxena (CoRR, 2023)

Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version). - Jason Zhijingcheng Yu; Conrad Watt; Aditya Badole; Trevor E. Carlson; Prateek Saxena (CoRR, 2023)

DuoGlot: User-Customizable Transpilation of Scripting Languages (Artifact). - Bo Wang 146; Aashish Kolluri; Ivica Nikolic; Teodora Baluta; Prateek Saxena (Zenodo, 2023)

User-Customizable Transpilation of Scripting Languages. - Bo Wang 146; Aashish Kolluri; Ivica Nikolic; Teodora Baluta; Prateek Saxena (Proc. ACM Program. Lang., 2023)

TransMap: Pinpointing Mistakes in Neural Code Translation. - Bo Wang 146; Ruishi Li; Mingkai Li; Prateek Saxena (Zenodo, 2023)

TransMap: Pinpointing Mistakes in Neural Code Translation (Artifact). - Bo Wang 146; Ruishi Li; Mingkai Li; Prateek Saxena (Zenodo, 2023)

Attacking Byzantine Robust Aggregation in High Dimensions. - Sarthak Choudhary; Aashish Kolluri; Prateek Saxena (SP, 2024)

CLUE-MARK: Watermarking Diffusion Models using CLWE. - Kareem Shehata; Aashish Kolluri; Prateek Saxena (CoRR, 2024)

Translating C To Rust: Lessons from a User Study. - Ruishi Li; Bo Wang; Tianyu Li; Prateek Saxena; Ashish Kundu (NDSS, 2025)

Caplification: Bridging Capability-Aware and Capability-Oblivious Software. - Jason Zhijingcheng Yu; Mingkai Li; Aditya Badole; Trevor E. Carlson; Michael Swift; Prateek Saxena (SACMAT, 2025)

Throughput of Byzantine Broadcast. - Ruomu Hou; Haifeng Yu; Prateek Saxena (J. Parallel Distributed Comput., 2025)

Program Skeletons for Automated Program Translation. - Bo Wang 146; Tianyu Li; Ruishi Li; Umang Mathur 001; Prateek Saxena (Proc. ACM Program. Lang., 2025)

Model Provenance Testing for Large Language Models. - Ivica Nikolic; Teodora Baluta; Prateek Saxena (CoRR, 2025)

Anvil: A General-Purpose Timing-Safe Hardware Description Language. - Jason Zhijingcheng Yu; Aditya Ranjan Jha; Umang Mathur 001; Trevor E. Carlson; Prateek Saxena (CoRR, 2025)

A Practical and Secure Byzantine Robust Aggregator. - De Zhang Lee; Aashish Kolluri; Prateek Saxena; Ee-Chien Chang (CoRR, 2025)

Securing Mixed Rust with Hardware Capabilities. - Jason Zhijingcheng Yu; Fangqi Han; Kaustab Choudhury; Trevor E. Carlson; Prateek Saxena (CoRR, 2025)