Publications
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îrlea, Amrit 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)