Ilya Sergey

Ilya Sergey

National University of Singapore - Queenstown / Singapore
Engineering & Technology / Computer Science
AD Scientific Index ID: 334203
Universiti Nasional Singapura
person_outline Ilya Sergey's MOST POPULAR ARTICLES
1-) Finding the greedy, prodigal, and suicidal contracts at scaleI Nikolic, A Kolluri, I Sergey, P Saxena, A HoborACSAC 2018: 34th Annual Computer Security Applications Conference, 653-663, 20184672018
2-) EthIR: A Framework for High-Level Analysis of Ethereum BytecodeE Albert, P Gordillo, B Livshits, A Rubio, I SergeyATVA, 20181592018
3-) A concurrent perspective on smart contractsI Sergey, A HoborFinancial Cryptography and Data Security: FC 2017 International Workshops …, 20171582017
4-) Programming and proving with distributed protocolsI Sergey, JR Wilcox, Z Tatlock45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), 20181532018
5-) Mechanized Verification of Fine-grained Concurrent ProgramsI Sergey, A Nanevski, A Banerjee36th ACM SIGPLAN International Conference on Programming Language Design and …, 20151532015