Prateek Saxena
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
67
Venues
20
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
67 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Anvil: A General-Purpose Timing-Safe Hardware Description Language. | Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena |
| 2025 | CCS | A Practical and Secure Byzantine Robust Aggregator. | De Zhang Lee, Aashish Kolluri, Prateek Saxena, Ee-Chien Chang |
| 2025 | CCS | Securing Mixed Rust with Hardware Capabilities. | Jason Zhijingcheng Yu, Fangqi Han, Kaustab Choudhury, Trevor E. Carlson, Prateek Saxena |
| 2025 | NDSS | Translating C To Rust: Lessons from a User Study. | Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu |
| 2025 | SACMAT | Caplification: Bridging Capability-Aware and Capability-Oblivious Software. | Jason Zhijingcheng Yu, Mingkai Li, Aditya Badole, Trevor E. Carlson, Michael Swift, Prateek Saxena |
| 2024 | SP | Attacking Byzantine Robust Aggregation in High Dimensions. | Sarthak Choudhary, Aashish Kolluri, Prateek Saxena |
| 2023 | CCS | Unforgeability in Stochastic Gradient Descent. | Teodora Baluta, Ivica Nikolic, Racchit Jain, Divesh Aggarwal, Prateek Saxena |
| 2022 | CCS | Membership Inference Attacks and Generalization: A Causal Perspective. | Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena |
| 2022 | CCS | LPGNet: Link Private Graph Networks for Node Classification. | Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena |
| 2022 | SP | Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains. | Ruomu Hou, Haifeng Yu, Prateek Saxena |
| 2021 | AsiaCCS | Localizing Vulnerabilities Statistically From One Exploit. | Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury |
| 2021 | CCS | SmashEx: Smashing SGX Enclaves Using Exceptions. | Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai |
| 2021 | CCS | Private Hierarchical Clustering in Federated Networks. | Aashish Kolluri, Teodora Baluta, Prateek Saxena |
| 2021 | DIMVA | Refined Grey-Box Fuzzing with Sivo. | Ivica Nikolic, Radu Mantu, Shiqi Shen, Prateek Saxena |
| 2021 | ICSE | Scalable Quantitative Verification For Deep Neural Networks. | Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena |
| 2021 | ICSE | Scalable Quantitative Verification for Deep Neural Networks. | Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena |
| 2020 | ICDCS | Robust P2P Primitives Using SGX Enclaves. | Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang |
| 2020 | RAID | Robust P2P Primitives Using SGX Enclaves. | Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang |
| 2020 | SP | OHIE: Blockchain Scaling Made Simple. | Haifeng Yu, Ivica Nikolic, Ruomu Hou, Prateek Saxena |
| 2019 | CCS | Quantitative Verification of Neural Networks and Its Security Applications. | Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena |
| 2019 | ICDCS | Practical Verifiable In-network Filtering for DDoS Defense. | Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang |
| 2019 | ISSTA | Exploiting the laws of order in smart contracts. | Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena |
| 2019 | NDSS | 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 |
| 2019 | NDSS | Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. | Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena |
| 2019 | RAID | PRO-ORAM: Practical Read-Only Oblivious RAM. | Shruti Tople, Yaoqi Jia, Prateek Saxena |
| 2018 | ACNS | VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation. | Shruti Tople, Soyeon Park, Min Suk Kang, Prateek Saxena |
| 2018 | ACSAC | Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. | Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor |
| 2018 | ACSAC | Obscuro: A Bitcoin Mixer using Trusted Execution Environments. | Muoi Tran, Loi Luu, Min Suk Kang, Iddo Bentov, Prateek Saxena |
| 2018 | ICISS | (Invited Paper) on the Security of Blockchain Consensus Protocols. | Sourav Das, Aashish Kolluri, Prateek Saxena, Haifeng Yu |
| 2018 | INFOCOM | Randomized View Reconciliation in Permissionless Distributed Systems. | Ruomu Hou, Irvan Jahja, Loi Luu, Prateek Saxena, Haifeng Yu |
| 2017 | DIMVA | On the Trade-Offs in Oblivious Execution Techniques. | Shruti Tople, Prateek Saxena |
| 2017 | ESORICS | A Traceability Analysis of Monero's Blockchain. | Amrit Kumar, Clment Fischer, Shruti Tople, Prateek Saxena |
| 2017 | NDSS | Panoply: Low-TCB Linux Applications With SGX Enclaves. | Shweta Shinde, Dat Le Tien, Shruti Tople, Prateek Saxena |
| 2016 | ACSAC | Auror: defending against poisoning attacks in collaborative deep learning systems. | Shiqi Shen, Shruti Tople, Prateek Saxena |
| 2016 | CCS | "The Web/Local" Boundary Is Fuzzy: A Security Study of Chrome's Process-based Sandboxing. | Yaoqi Jia, Zheng Leong Chua, Hong Hu, Shuo Chen, Prateek Saxena, Zhenkai Liang |
| 2016 | CCS | Making Smart Contracts Smarter. | Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor |
| 2016 | CCS | A Secure Sharding Protocol For Open Blockchains. | Loi Luu, Viswesh Narayanan, Chaodong Zheng, Kunal Baweja, Seth Gilbert, Prateek Saxena |
| 2016 | CCS | Preventing Page Faults from Telling Your Secrets. | Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena |
| 2016 | FC | On Scaling Decentralized Blockchains - (A Position Paper). | Kyle Croman, Christian Decker, Ittay Eyal, Adem Efe Gencer, Ari Juels, Ahmed E. Kosba, Andrew Miller, Prateek Saxena, Elaine Shi, Emin Gn Sirer, Dawn Song, Roger Wattenhofer |
| 2016 | FC | When Cryptocurrencies Mine Their Own Business. | Jason Teutsch, Sanjay Jain, Prateek Saxena |
| 2016 | SP | Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks. | Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, Zhenkai Liang |
| 2015 | CCS | Demystifying Incentives in the Consensus Computer. | Loi Luu, Jason Teutsch, Raghav Kulkarni, Prateek Saxena |
| 2015 | CCS | The SICILIAN Defense: Signature-based Whitelisting of Web JavaScript. | Pratik Soni, Enrico Budianto, Prateek Saxena |
| 2015 | ESORICS | Web-to-Application Injection Attacks on Android: Characterization and Detection. | Behnaz Hassanshahi, Yaoqi Jia, Roland H. C. Yap, Prateek Saxena, Zhenkai Liang |
| 2015 | ESORICS | Identifying Arbitrary Memory Access Vulnerabilities in Privilege-Separated Software. | Hong Hu, Zheng Leong Chua, Zhenkai Liang, Prateek Saxena |
| 2015 | ICSE | AutoCSP: Automatically Retrofitting CSP to Web Applications. | Mattia Fazzini, Prateek Saxena, Alessandro Orso |
| 2014 | ICECCS | DroidVault: A Trusted Data Vault for Android Devices. | Xiaolei Li, Hong Hu, Guangdong Bai, Yaoqi Jia, Zhenkai Liang, Prateek Saxena |
| 2014 | PLDI | A model counter for constraints over unbounded strings. | Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky |
| 2014 | RAID | 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 |
| 2013 | CCS | CRYPTSERVER: strong data protection in commodity LAMP servers. | Zhaofeng Chen, Xinshu Dong, Prateek Saxena, Zhenkai Liang |
| 2013 | CCS | Protecting sensitive web content from client-side vulnerabilities with CRYPTONS. | Xinshu Dong, Zhaofeng Chen, Hossein Siadati, Shruti Tople, Prateek Saxena, Zhenkai Liang |
| 2013 | CCS | The curse of 140 characters: evaluating the efficacy of SMS spam detection on android. | Akshay Narayan, Prateek Saxena |
| 2013 | CCS | AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content. | Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena |
| 2013 | ESORICS | Data-Confined HTML5 Applications. | Devdatta Akhawe, Frank Li, Warren He, Prateek Saxena, Dawn Song |
| 2013 | ESORICS | A Quantitative Evaluation of Privilege Separation in Web Browser Designs. | Xinshu Dong, Hong Hu, Prateek Saxena, Zhenkai Liang |
| 2013 | NDSS | AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. | Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong |
| 2011 | CCS | Context-sensitive auto-sanitization in web templating languages using type qualifiers. | Mike Samuel, Prateek Saxena, Dawn Song |
| 2011 | CCS | SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications. | Prateek Saxena, David Molnar, Benjamin Livshits |
| 2011 | ESORICS | A Systematic Analysis of XSS Sanitization in Web Application Frameworks. | Joel Weinberger, Prateek Saxena, Devdatta Akhawe, Matthew Finifter, Eui Chul Richard Shin, Dawn Song |
| 2010 | NDSS | Protecting Browsers from Extension Vulnerabilities. | Adam Barth, Adrienne Porter Felt, Prateek Saxena, Aaron Boodman |
| 2010 | NDSS | FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications. | Prateek Saxena, Steve Hanna, Pongsin Poosankam, Dawn Song |
| 2010 | SP | A Symbolic Execution Framework for JavaScript. | Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song |
| 2009 | ISSTA | Loop-extended symbolic execution on binary programs. | Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song |
| 2009 | NDSS | Document Structure Integrity: A Robust Basis for Cross-site Scripting Defense. | Yacin Nadji, Prateek Saxena, Dawn Song |
| 2008 | CGO | Efficient fine-grained binary instrumentationwith applications to taint-tracking. | Prateek Saxena, R. Sekar, Varun Puranik |
| 2008 | DIMVA | On the Limits of Information Flow Techniques for Malware Analysis and Containment. | Lorenzo Cavallaro, Prateek Saxena, R. Sekar |
| 2008 | ICISS | BitBlaze: A New Approach to Computer Security via Binary Analysis. | Dawn Xiaodong Song, David Brumley, Heng Yin, Juan Caballero, Ivan Jager, Min Gyung Kang, Zhenkai Liang, James Newsome, Pongsin Poosankam, Prateek Saxena |