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)
 

 

Email:
crystalcenter@nus.edu.sg
Office Hours:
Mon-Fri 9am-6pm
Website:
crystal.comp.nus.edu.sg
  • Facebook Social Icon
  • Twitter Social Icon
  • YouTube Social  Icon