Prateek Saxena

145 papers A* 46A 17B 5C 1Misc 2Journal 56Unranked 17
YearRankTypeTitle / Venue / Authors
2026 — conf
Anvil: A General-Purpose Timing-Safe Hardware Description Language.
ASPLOS (2)
Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena
2025 A* conf
A Practical and Secure Byzantine Robust Aggregator.
CCS
De Zhang Lee, Aashish Kolluri, Prateek Saxena, Ee-Chien Chang
2025 J jnl
A Practical and Secure Byzantine Robust Aggregator.
CoRR
De Zhang Lee, Aashish Kolluri, Prateek Saxena, Ee-Chien Chang
2025 J jnl
Adversarial Agent Collaboration for C to Rust Translation.
CoRR
Tianyu Li, Ruishi Li, Bo Wang, Brandon Paulsen, Umang Mathur, Prateek Saxena
2025 J jnl
Anvil: A General-Purpose Timing-Safe Hardware Description Language.
CoRR
Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena
2025 J jnl
Bias Injection Attacks on RAG Databases and Sanitization Defenses.
CoRR
Hao Wu, Prateek Saxena
2025 C conf
Caplification: Bridging Capability-Aware and Capability-Oblivious Software.
SACMAT
Jason Zhijingcheng Yu, Mingkai Li, Aditya Badole, Trevor E. Carlson, Michael Swift, Prateek Saxena
2025 J jnl
Model Inversion Attacks Meet Cryptographic Fuzzy Extractors.
CoRR
Mallika Prabhakar, Louise Xu, Prateek Saxena
2025 J jnl
Model Provenance Testing for Large Language Models.
CoRR
Ivica Nikolic, Teodora Baluta, Prateek Saxena
2025 J jnl
Program Skeletons for Automated Program Translation.
CoRR
Bo Wang, Tianyu Li, Ruishi Li, Umang Mathur, Prateek Saxena
2025 J jnl
Program Skeletons for Automated Program Translation.
Proc. ACM Program. Lang.
Bo Wang, Tianyu Li, Ruishi Li, Umang Mathur, Prateek Saxena
2025 A* conf
Securing Mixed Rust with Hardware Capabilities.
CCS
Jason Z. Yu, Fangqi Han, Kaustab Choudhury, Trevor E. Carlson, Prateek Saxena
2025 J jnl
Securing Mixed Rust with Hardware Capabilities.
CoRR
Jason Zhijingcheng Yu, Fangqi Han, Kaustab Choudhury, Trevor E. Carlson, Prateek Saxena
2025 J jnl
Throughput of Byzantine Broadcast.
J. Parallel Distributed Comput.
Ruomu Hou, Haifeng Yu, Prateek Saxena
2025 A* conf
Translating C To Rust: Lessons from a User Study.
NDSS
Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu
2024 A* conf
Attacking Byzantine Robust Aggregation in High Dimensions.
SP
Sarthak Choudhary, Aashish Kolluri, Prateek Saxena
2024 J jnl
CLUE-MARK: Watermarking Diffusion Models using CLWE.
CoRR
Kareem Shehata, Aashish Kolluri, Prateek Saxena
2024 J jnl
Translating C To Rust: Lessons from a User Study.
CoRR
Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu
2023 J jnl
Attacking Byzantine Robust Aggregation in High Dimensions.
CoRR
Sarthak Choudhary, Aashish Kolluri, Prateek Saxena
2023 J jnl
Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version).
CoRR
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena
2023 A* conf
Capstone: A Capability-based Foundation for Trustless Secure Memory Access.
USENIX Security Symposium
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena
2023 J jnl
RETEXO: Scalable Neural Network Training over Distributed Graphs.
CoRR
Aashish Kolluri, Sarthak Choudhary, Bryan Hooi, Prateek Saxena
2023 — conf
TransMap: Pinpointing Mistakes in Neural Code Translation.
ESEC/SIGSOFT FSE
Bo Wang, Ruishi Li, Mingkai Li, Prateek Saxena
2023 A* conf
Unforgeability in Stochastic Gradient Descent.
CCS
Teodora Baluta, Ivica Nikolic, Racchit Jain, Divesh Aggarwal, Prateek Saxena
2023 J jnl
User-Customizable Transpilation of Scripting Languages.
Proc. ACM Program. Lang.
Bo Wang, Aashish Kolluri, Ivica Nikolic, Teodora Baluta, Prateek Saxena
2023 J jnl
User-customizable Transpilation of Scripting Languages.
CoRR
Bo Wang, Aashish Kullori, Ivica Nikolic, Teodora Baluta, Prateek Saxena
2022 J jnl
Dynamic Binary Translation for SGX Enclaves.
ACM Trans. Priv. Secur.
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
2022 A* conf
Elasticlave: An Efficient Memory Model for Enclaves.
USENIX Security Symposium
Jason Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
2022 A* conf
FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation.
USENIX Security Symposium
Kaihang Ji, Jun Zeng, Yuancheng Jiang, Zhenkai Liang, Zheng Leong Chua, Prateek Saxena, Abhik Roychoudhury
2022 A* conf
LPGNet: Link Private Graph Networks for Node Classification.
CCS
Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena
2022 J jnl
LPGNet: Link Private Graph Networks for Node Classification.
CoRR
Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena
2022 A* conf
Membership Inference Attacks and Generalization: A Causal Perspective.
CCS
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
2022 J jnl
Membership Inference Attacks and Generalization: A Causal Perspective.
CoRR
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
2022 A* conf
Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains.
SP
Ruomu Hou, Haifeng Yu, Prateek Saxena
2021 J jnl
Dynamic Binary Translation for SGX Enclaves.
CoRR
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
2021 — conf
Labelled EPIE: A Dataset for Idiom Sense Disambiguation.
TDS
Prateek Saxena, Soma Paul
2021 A conf
Localizing Vulnerabilities Statistically From One Exploit.
AsiaCCS
Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
2021 A* conf
Private Hierarchical Clustering in Federated Networks.
CCS
Aashish Kolluri, Teodora Baluta, Prateek Saxena
2021 J jnl
Private Hierarchical Clustering in Federated Networks.
CoRR
Aashish Kolluri, Teodora Baluta, Prateek Saxena
2021 J jnl
Refined Grey-Box Fuzzing with SIVO.
CoRR
Ivica Nikolic, Radu Mantu, Shiqi Shen, Prateek Saxena
2021 B conf
Refined Grey-Box Fuzzing with Sivo.
DIMVA
Ivica Nikolic, Radu Mantu, Shiqi Shen, Prateek Saxena
2021 A* conf
Scalable Quantitative Verification For Deep Neural Networks.
ICSE
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2021 — conf
Scalable Quantitative Verification for Deep Neural Networks.
ICSE (Companion Volume)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2021 A* conf
SmashEx: Smashing SGX Enclaves Using Exceptions.
CCS
Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai
2021 J jnl
SmashEx: Smashing SGX Enclaves Using Exceptions.
CoRR
Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai
2021 J jnl
SynGuar: Guaranteeing Generalization in Programming by Example.
CoRR
Bo Wang, Teodora Baluta, Aashish Kolluri, Prateek Saxena
2021 — conf
SynGuar: guaranteeing generalization in programming by example.
ESEC/SIGSOFT FSE
Bo Wang, Teodora Baluta, Aashish Kolluri, Prateek Saxena
2021 J jnl
Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains.
CoRR
Ruomu Hou, Haifeng Yu, Prateek Saxena
2020 A* conf
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.
USENIX Security Symposium
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
2020 J jnl
Binary Compatibility For SGX Enclaves.
CoRR
Shweta Shinde, Jinhua Cui, Satyaki Sen, Pinghai Yuan, Prateek Saxena
2020 J jnl
EPIE Dataset: A Corpus For Possible Idiomatic Expressions.
CoRR
Prateek Saxena, Soma Paul
2020 — conf
EPIE Dataset: A Corpus for Possible Idiomatic Expressions.
TDS
Prateek Saxena, Soma Paul
2020 J jnl
Elasticlave: An Efficient Memory Model for Enclaves.
CoRR
Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
2020 J jnl
Epione: Lightweight Contact Tracing with Strong Privacy.
CoRR
Ni Trieu, Kareem Shehata, Prateek Saxena, Reza Shokri, Dawn Song
2020 J jnl
Epione: Lightweight Contact Tracing with Strong Privacy.
IEEE Data Eng. Bull.
Ni Trieu, Kareem Shehata, Prateek Saxena, Reza Shokri, Dawn Song
2020 J jnl
Localizing Patch Points From One Exploit.
CoRR
Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
2020 A* conf
OHIE: Blockchain Scaling Made Simple.
SP
Haifeng Yu, Ivica Nikolic, Ruomu Hou, Prateek Saxena
2020 J jnl
Randomized View Reconciliation in Permissionless Distributed Systems.
IEEE/ACM Trans. Netw.
Ruomu Hou, Irvan Jahja, Loi Luu, Prateek Saxena, Haifeng Yu
2020 A conf
Robust P2P Primitives Using SGX Enclaves.
ICDCS
Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang
2020 A conf
Robust P2P Primitives Using SGX Enclaves.
RAID
Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang
2020 J jnl
Scalable Quantitative Verification For Deep Neural Networks.
CoRR
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2019 A conf
Exploiting the laws of order in smart contracts.
ISSTA
Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena
2019 A* conf
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.
NDSS
Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena
2019 A* conf
One Engine To Serve 'em All: Inferring Taint Rules Without Architectural Semantics.
NDSS
Zheng Leong Chua, Yanhao Wang, Teodora Baluta, Prateek Saxena, Zhenkai Liang, Purui Su
2019 A conf
PRO-ORAM: Practical Read-Only Oblivious RAM.
RAID
Shruti Tople, Yaoqi Jia, Prateek Saxena
2019 A conf
Practical Verifiable In-network Filtering for DDoS Defense.
ICDCS
Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
2019 J jnl
Practical Verifiable In-network Filtering for DDoS defense.
CoRR
Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
2019 J jnl
Quantitative Verification of Neural Networks And its Security Applications.
CoRR
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
2019 A* conf
Quantitative Verification of Neural Networks and Its Security Applications.
CCS
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
2018 Misc conf
(Invited Paper) on the Security of Blockchain Consensus Protocols.
ICISS
Sourav Das, Aashish Kolluri, Prateek Saxena, Haifeng Yu
2018 J jnl
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves.
CoRR
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
2018 J jnl
Exploiting The Laws of Order in Smart Contracts.
CoRR
Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena
2018 A conf
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale.
ACSAC
Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor
2018 J jnl
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale.
CoRR
Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor
2018 J jnl
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution.
CoRR
Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena
2018 J jnl
OHIE: Blockchain Scaling Made Simple.
CoRR
Haifeng Yu, Ivica Nikolic, Ruomu Hou, Prateek Saxena
2018 A conf
Obscuro: A Bitcoin Mixer using Trusted Execution Environments.
ACSAC
Muoi Tran, Loi Luu, Min Suk Kang, Iddo Bentov, Prateek Saxena
2018 J jnl
PRO-ORAM: Constant Latency Read-Only Oblivious RAM.
IACR Cryptol. ePrint Arch.
Shruti Tople, Yaoqi Jia, Prateek Saxena
2018 A* conf
Randomized View Reconciliation in Permissionless Distributed Systems.
INFOCOM
Ruomu Hou, Irvan Jahja, Loi Luu, Prateek Saxena, Haifeng Yu
2018 B conf
VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation.
ACNS
Shruti Tople, Soyeon Park, Min Suk Kang, Prateek Saxena
2017 — conf
A Traceability Analysis of Monero's Blockchain.
ESORICS (2)
Amrit Kumar, Clément Fischer, Shruti Tople, Prateek Saxena
2017 J jnl
A Traceability Analysis of Monero's Blockchain.
IACR Cryptol. ePrint Arch.
Amrit Kumar, Clément Fischer, Shruti Tople, Prateek Saxena
2017 A* conf
Neural Nets Can Learn Function Type Signatures From Binaries.
USENIX Security Symposium
Zheng Leong Chua, Shiqi Shen, Prateek Saxena, Zhenkai Liang
2017 J jnl
Obscuro: A Bitcoin Mixer using Trusted Execution Environments.
IACR Cryptol. ePrint Arch.
Muoi Tran, Loi Luu, Min Suk Kang, Iddo Bentov, Prateek Saxena
2017 B conf
On the Trade-Offs in Oblivious Execution Techniques.
DIMVA
Shruti Tople, Prateek Saxena
2017 A* conf
Panoply: Low-TCB Linux Applications With SGX Enclaves.
NDSS
Shweta Shinde, Dat Le Tien, Shruti Tople, Prateek Saxena
2017 J jnl
PermuteRam: Optimizing Oblivious Computation for Efficiency.
IACR Cryptol. ePrint Arch.
Shruti Tople, Hung Dang, Prateek Saxena, Ee-Chien Chang
2017 J jnl
Robust Synchronous P2P Primitives Using SGX Enclaves.
IACR Cryptol. ePrint Arch.
Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang
2017 J jnl
SMART POOL : Practical Decentralized Pooled Mining.
IACR Cryptol. ePrint Arch.
Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena
2017 A* conf
SmartPool: Practical Decentralized Pooled Mining.
USENIX Security Symposium
Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena
2016 A* conf
"The Web/Local" Boundary Is Fuzzy: A Security Study of Chrome's Process-based Sandboxing.
CCS
Yaoqi Jia, Zheng Leong Chua, Hong Hu, Shuo Chen, Prateek Saxena, Zhenkai Liang
2016 A* conf
A Secure Sharding Protocol For Open Blockchains.
CCS
Loi Luu, Viswesh Narayanan, Chaodong Zheng, Kunal Baweja, Seth Gilbert, Prateek Saxena
2016 J jnl
Anonymity in Peer-assisted CDNs: Inference Attacks and Mitigation.
Proc. Priv. Enhancing Technol.
Yaoqi Jia, Guangdong Bai, Prateek Saxena, Zhenkai Liang
2016 A conf
Auror: defending against poisoning attacks in collaborative deep learning systems.
ACSAC
Shiqi Shen, Shruti Tople, Prateek Saxena
2016 A* conf
Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks.
IEEE Symposium on Security and Privacy
Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, Zhenkai Liang
2016 J jnl
How to verify computation with a rational network.
CoRR
Sanjay Jain, Prateek Saxena, Frank Stephan, Jason Teutsch
2016 A* conf
Making Smart Contracts Smarter.
CCS
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
2016 J jnl
Making Smart Contracts Smarter.
IACR Cryptol. ePrint Arch.
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
2016 A* conf
OblivP2P: An Oblivious Peer-to-Peer Content Sharing System.
USENIX Security Symposium
Yaoqi Jia, Tarik Moataz, Shruti Tople, Prateek Saxena
2016 — conf
On Scaling Decentralized Blockchains - (A Position Paper).
Financial Cryptography Workshops
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
2016 A conf
Preventing Page Faults from Telling Your Secrets.
AsiaCCS
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
2016 — conf
When Cryptocurrencies Mine Their Own Business.
Financial Cryptography
Jason Teutsch, Sanjay Jain, Prateek Saxena
2015 — conf
Auto-patching DOM-based XSS at scale.
ESEC/SIGSOFT FSE
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
2015 — conf
AutoCSP: Automatically Retrofitting CSP to Web Applications.
ICSE (1)
Mattia Fazzini, Prateek Saxena, Alessandro Orso
2015 A* conf
Automatic Generation of Data-Oriented Exploits.
USENIX Security Symposium
Hong Hu, Zheng Leong Chua, Sendroiu Adrian, Prateek Saxena, Zhenkai Liang
2015 A* conf
Demystifying Incentives in the Consensus Computer.
CCS
Loi Luu, Jason Teutsch, Raghav Kulkarni, Prateek Saxena
2015 J jnl
Demystifying incentives in the consensus computer.
IACR Cryptol. ePrint Arch.
Loi Luu, Jason Teutsch, Raghav Kulkarni, Prateek Saxena
2015 — conf
DexterJS: robust testing platform for DOM-based XSS vulnerabilities.
ESEC/SIGSOFT FSE
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
2015 J jnl
I Know Where You've Been: Geo-Inference Attacks via the Browser Cache.
IEEE Internet Comput.
Yaoqi Jia, Xinshu Dong, Zhenkai Liang, Prateek Saxena
2015 — conf
Identifying Arbitrary Memory Access Vulnerabilities in Privilege-Separated Software.
ESORICS (2)
Hong Hu, Zheng Leong Chua, Zhenkai Liang, Prateek Saxena
2015 A* conf
M2R: Enabling Stronger Privacy in MapReduce Computation.
USENIX Security Symposium
Tien Tuan Anh Dinh, Prateek Saxena, Ee-Chien Chang, Beng Chin Ooi, Chunwang Zhang
2015 J jnl
Man-in-the-browser-cache: Persisting HTTPS attacks via browser cache poisoning.
Comput. Secur.
Yaoqi Jia, Yue Chen, Xinshu Dong, Prateek Saxena, Jian Mao, Zhenkai Liang
2015 A conf
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining.
CSF
Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, Aquinas Hobor
2015 J jnl
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining.
IACR Cryptol. ePrint Arch.
Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, Aquinas Hobor
2015 J jnl
Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks.
CoRR
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
2015 A* conf
The SICILIAN Defense: Signature-based Whitelisting of Web JavaScript.
CCS
Pratik Soni, Enrico Budianto, Prateek Saxena
2015 — conf
Web-to-Application Injection Attacks on Android: Characterization and Detection.
ESORICS (2)
Behnaz Hassanshahi, Yaoqi Jia, Roland H. C. Yap, Prateek Saxena, Zhenkai Liang
2014 A* conf
A Look at Targeted Attacks Through the Lense of an NGO.
USENIX Security Symposium
Stevens Le Blond, Adina Uritesc, Cédric Gilbert, Zheng Leong Chua, Prateek Saxena, Engin Kirda
2014 A* conf
A model counter for constraints over unbounded strings.
PLDI
Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky
2014 B conf
DroidVault: A Trusted Data Vault for Android Devices.
ICECCS
Xiaolei Li, Hong Hu, Guangdong Bai, Yaoqi Jia, Zhenkai Liang, Prateek Saxena
2014 J jnl
Faster Secure Arithmetic Computation Using Switchable Homomorphic Encryption.
IACR Cryptol. ePrint Arch.
Hoon Wei Lim, Shruti Tople, Prateek Saxena, Ee-Chien Chang
2014 A conf
You Can't Be Me: Enabling Trusted Paths and User Sub-origins in Web Browsers.
RAID
Enrico Budianto, Yaoqi Jia, Xinshu Dong, Prateek Saxena, Zhenkai Liang
2013 A conf
A Quantitative Evaluation of Privilege Separation in Web Browser Designs.
ESORICS
Xinshu Dong, Hong Hu, Prateek Saxena, Zhenkai Liang
2013 A* conf
AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.
NDSS
Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong
2013 A* conf
AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content.
CCS
Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena
2013 A* conf
CRYPTSERVER: strong data protection in commodity LAMP servers.
CCS
Zhaofeng Chen, Xinshu Dong, Prateek Saxena, Zhenkai Liang
2013 — conf
Comparative analysis of speech enhancement methods.
WOCN
Pankai Gael, Mahesh Chandra, Prateek Saxena, Vijay Kumar Gupta
2013 A conf
Data-Confined HTML5 Applications.
ESORICS
Devdatta Akhawe, Frank Li, Warren He, Prateek Saxena, Dawn Song
2013 — conf
Hardware-software Scalable Architectures for Gaussian Elimination over GF(2) and Higher Galois Fields.
PECCS
Prateek Saxena, Vinay B. Y. Kumar, Dilawar Singh, H. Narayanan, Sachin B. Patkar
2013 A* conf
Protecting sensitive web content from client-side vulnerabilities with CRYPTONS.
CCS
Xinshu Dong, Zhaofeng Chen, Hossein Siadati, Shruti Tople, Prateek Saxena, Zhenkai Liang
2013 — conf
The curse of 140 characters: evaluating the efficacy of SMS spam detection on android.
SPSM@CCS
Akshay Narayan, Prateek Saxena
2012 A* conf
Privilege Separation in HTML5 Applications.
USENIX Security Symposium
Devdatta Akhawe, Prateek Saxena, Dawn Song
2012 — —
Systematic Techniques for Finding and Preventing Script Injection Vulnerabilities.
Prateek Saxena
2011 A conf
A Systematic Analysis of XSS Sanitization in Web Application Frameworks.
ESORICS
Joel Weinberger, Prateek Saxena, Devdatta Akhawe, Matthew Finifter, Eui Chul Richard Shin, Dawn Song
2011 A* conf
Context-sensitive auto-sanitization in web templating languages using type qualifiers.
CCS
Mike Samuel, Prateek Saxena, Dawn Song
2011 A* conf
Fast and Precise Sanitizer Analysis with BEK.
USENIX Security Symposium
Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes
2011 A* conf
SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications.
CCS
Prateek Saxena, David Molnar, Benjamin Livshits
2010 A* conf
A Symbolic Execution Framework for JavaScript.
IEEE Symposium on Security and Privacy
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song
2010 A* conf
FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications.
NDSS
Prateek Saxena, Steve Hanna, Pongsin Poosankam, Dawn Song
2010 A* conf
Protecting Browsers from Extension Vulnerabilities.
NDSS
Adam Barth, Adrienne Porter Felt, Prateek Saxena, Aaron Boodman
2009 A* conf
Document Structure Integrity: A Robust Basis for Cross-site Scripting Defense.
NDSS
Yacin Nadji, Prateek Saxena, Dawn Song
2009 A conf
Loop-extended symbolic execution on binary programs.
ISSTA
Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song
2008 Misc conf
BitBlaze: A New Approach to Computer Security via Binary Analysis.
ICISS
Dawn Xiaodong Song, David Brumley, Heng Yin, Juan Caballero, Ivan Jager, Min Gyung Kang, Zhenkai Liang, James Newsome, Pongsin Poosankam, Prateek Saxena
2008 A conf
Efficient fine-grained binary instrumentationwith applications to taint-tracking.
CGO
Prateek Saxena, R. Sekar, Varun Puranik
2008 B conf
On the Limits of Information Flow Techniques for Malware Analysis and Containment.
DIMVA
Lorenzo Cavallaro, Prateek Saxena, R. Sekar