Research Publications
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: [https://erebus-attack.comp.nus.edu.sg/]
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)