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)


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îrleaAmrit Kumar, Ilya Sergey

To appear in 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). Los Angeles, CA, USA

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

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

(To appear) 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

(To appear) 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). Athens, Greece
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)