Translating C To Rust: Lessons from a User Study

Ruishi Li*, Bo Wang*, Tianyu Li, Prateek Saxena, and Ashish Kundu

Network and Distributed System Security Symposium (NDSS 2025)

​

CLUE-MARK: Watermarking Diffusion Models using CLWE

Kareem Shehata, Aashish Kolluri, and Prateek Saxena

IEEE Symposium on Security and Privacy (IEEE S&P 2025)

 

Attacking Byzantine Robust Aggregation in High Dimensions

Sarthak Choudhary*, Aashish Kolluri*, and Prateek Saxena

IEEE Symposium on Security and Privacy (IEEE S&P 2024)

 

Unforgeability in Stochastic Gradient Descent 
Teodora Baluta, Ivica Nikolic, Racchit Jain, Divesh Aggarwal, and Prateek Saxena
ACM Conference on Computer and Communications Security (CCS 2023)

 

Smart Learning to Find Dumb Contracts

Tamer Abdelaziz, and Aquinas Hobor 

Usenix Security Symposium (Usenix Security 2023)

​

LPGNet: Link Private Graph Networks for Node Classification 

Aashish Kolluri, Teodora Baluta, Bryan Hooi, and Prateek Saxena

ACM Conference on Computer and Communications Security (CCS 2022)

 

Membership Inference Attacks and Generalization: A Causal Perspective 
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, and Prateek Saxena
ACM Conference on Computer and Communications Security (CCS 2022)

​

Elasticlave: An Efficient Memory Model for Enclaves

Jason Zhijingcheng Yu, Shweta Shinde, Trevor Carlson, and Prateek Saxena

Usenix Security Symposium (Usenix Security 2022)

​

Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains
Ruomu Hou, Haifeng Yu, and Prateek Saxena
IEEE Symposium on Security and Privacy (Oakland 2022)

 

Private Hierarchical Clustering in Federated Networks
Aashish Kolluri, Teodora Baluta, and Prateek Saxena
ACM Conference on Computer and Communications Security (CCS 2021)
 

SynGuar: Guaranteeing Generalization in Programming by Example

Bo Wang, Teodora Baluta, Aashish Kolluri, and Prateek Saxena
Foundations of Software Engineering (FSE 2021)

​

Refined Grey-Box Fuzzing with SIVO
Ivica Nikolic, Radu Mantu, Shiqi Shen, and Prateek Saxena
Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2021)

​

On the Routing-Aware Peering against Network-Eclipse Attacks in Bitcoin 
Muoi Tran, Akshaye Shenoi, and Min Suk Kang
Usenix Security Symposium (Usenix Security)

 

Localizing Vulnerabilities Statistically From One Exploit 

Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, and Abhik Roychoudhury

ACM Asia Conference on Computer and Communications Security (AsiaCCS 2021) 

​

Practical Smart Contract Sharding with Ownership and Commutativity Analysis

George Pîrlea, Amrit Kumar, Ilya Sergey

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21)

Code Artefact: https://doi.org/10.5281/zenodo.4674301

​

Scalable Quantitative Verification For Deep Neural Networks 

Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, and Prateek Saxena

International Conference on Software Engineering (ICSE 2021)

​

Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis 

Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, and Wei-Ngan Chin

23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021)

​

Protocol Combinators for Modeling, Testing, and Execution of Distributed Systems 

Kristoffer Just Arndal Andersen, and Ilya Sergey

J. Funct. Program. 2021. Vol. 31, Cambridge University Press.

​

A Functional Proof Pearl: Inverting the Ackermann Hierarchy

Linh Tran, Anshuman Mohan, Aquinas Hobor

9th ACM-SIGPLAN International Conference on Certified Programs and Proofs 

(CPP 2020)

​

Certifying Certainty and Uncertainty in Approximate Membership Query Structures

Kiran Gopinathan, and Ilya Sergey
32nd International Conference on Computer-Aided Verification (CAV 2020)

​

A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network

Muoi Tran, Inho Choi, Gi Jun, Viet-Anh, Min Suk Kang

IEEE Symposium on Security and Privacy 2020

Visit the website to read more: [https://erebus-attack.comp.nus.edu.sg/]

​

OHIE: Blockchain Scaling Made Simple

Haifeng Yu, Ivica Nikolic, Ruomu Hou, Prateek Saxena

IEEE Symposium on Security and Privacy 2020

​

Quantitative Verification of Neural Networks and Its Security Applications

Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena

ACM Conference on Computer and Communications Security (CCS 2019) 

​

Safer Smart Contract Programming with Scilla

Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao

34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2019)
Recipient of OOPSLA 2019 Distinguished Artifact Award

​

Exploiting the laws of order in smart contracts 

Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena

ACM SIGSOFT International Symposium on Software Testing and Analysis 2019

​

Finding the greedy, prodigal, and suicidal contracts at scale 

Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor

Annual Computer Security Applications Conference (ACSAC 2018)

 

On the Security of Blockchain Consensus Protocols

Sourav Das, Aashish Kolluri, Prateek Saxena, Haifeng Yu

International Conference on Information Systems Security (*Invited paper) (ICISS 2018)

​

Obscuro: A bitcoin mixer using trusted execution environments 
Muoi Tran, Loi Luu, Min Suk Kang, Iddo Bentov, Prateek Saxena
Annual Computer Security Applications Conference (ACSAC 2018)