Research Publications

On the Routing-Aware Peering against Network-Eclipse Attacks in Bitcoin 
Muoi Tran, Akshaye Shenoi, and Min Suk Kang
To appear in Proceedings of USENIX Security Symposium(USENIX Security), August 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), June 20–25, 2021, Virtual.

Code Artefact:


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, July 2020

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: []

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, October 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


OHIE: Blockchain Scaling Made Simple

Haifeng Yu, Ivica Nikolic, Ruomu Hou, Prateek Saxena

(To appear) IEEE Symposium on Security and Privacy 2020

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 YuInternational 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)