Prateek Saxena
National University of Singapore
H-index: 45
Asia-Singapore
Top articles of Prateek Saxena
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Attacking Byzantine Robust Aggregation in High Dimensions | arXiv preprint arXiv:2312.14461 | Sarthak Choudhary Aashish Kolluri Prateek Saxena | 2023/12/22 |
How to Verify Computations with a Rational Network | Sanjay Jain Prateek Saxena Frank Stephan Jason Teutsch | 2024 | |
TransMap: Pinpointing Mistakes in Neural Code Translation | Bo Wang Ruishi Li Mingkai Li Prateek Saxena | 2023/11/30 | |
Unforgeability in Stochastic Gradient Descent | Teodora Baluta Ivica Nikolic Racchit Jain Divesh Aggarwal Prateek Saxena | 2023/11/15 | |
User-Customizable Transpilation of Scripting Languages | Proceedings of the ACM on Programming Languages | Bo Wang Aashish Kolluri Ivica Nikolić Teodora Baluta Prateek Saxena | 2023/4/6 |
RETEXO: Scalable Neural Network Training over Distributed Graphs | arXiv e-prints | Aashish Kolluri Sarthak Choudhary Bryan Hooi Prateek Saxena | 2023/2 |
CAPSTONE: a capability-based foundation for trustless secure memory access | Jason Zhijingcheng Yu Conrad Watt Aditya Badole Trevor E Carlson Prateek Saxena | 2023 | |
Membership Inference Attacks and Generalization: A Causal Perspective | Teodora Baluta Shiqi Shen S Hitarth Shruti Tople Prateek Saxena | 2022/9/18 | |
Dynamic binary translation for sgx enclaves | ACM Transactions on Privacy and Security | Jinhua Cui Shweta Shinde Satyaki Sen Prateek Saxena Pinghai Yuan | 2022/7/9 |
LPGNet: Link Private Graph Networks for Node Classification | Aashish Kolluri Teodora Baluta Bryan Hooi Prateek Saxena | 2022/5/6 | |
FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation | Kaihang Ji Jun Zeng Yuancheng Jiang Zhenkai Liang Zheng Leong Chua | 2022 | |
Elasticlave: An Efficient Memory Model for Enclaves | Zhijingcheng Yu Shweta Shinde Trevor E Carlson Prateek Saxena | 2021 | |
SynGuar: Guaranteeing Generalization in Programming by Example | Bo Wang Teodora Baluta Aashish Kolluri Prateek Saxena | 2021/6/22 | |
Localizing vulnerabilities statistically from one exploit | Shiqi Shen Aashish Kolluri Zhen Dong Prateek Saxena Abhik Roychoudhury | 2021 | |
Scalable quantitative verification for deep neural networks | Teodora Baluta Zheng Leong Chua Kuldeep S Meel Prateek Saxena | 2021/5/22 | |
Private Hierarchical Clustering in Federated Networks | Aashish Kolluri Teodora Baluta Prateek Saxena | 2021/5/19 | |
Smashex: Smashing sgx enclaves using exceptions | Jinhua Cui Jason Zhijingcheng Yu Shweta Shinde Prateek Saxena Zhiping Cai | 2021/11/12 | |
Refined Grey-Box Fuzzing with SIVO | Ivica Nikolić Radu Mantu Shiqi Shen Prateek Saxena | 2021 | |
Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains | Ruomu Hou Haifeng Yu Prateek Saxena | 2021/8/3 | |
Epione: Lightweight contact tracing with strong privacy | arXiv preprint arXiv:2004.13293 | Ni Trieu Kareem Shehata Prateek Saxena Reza Shokri Dawn Song | 2020/4/28 |