Hobor, Aquinas
- Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
2018/02/16 by Ivica Nikolic, Aashish Kolluri, Nikolic, Ivica +7 · 2 voices · 15 citations
Computer Science · #cs.CR
- Scilla: a Smart Contract Intermediate-Level LAnguage
2018/01/02 by Ilya Sergey, Amrit Kumar, Sergey, Ilya +3 · 1 voice · 5 citations
Computer Science · #Security and Verification in Computing #Formal Methods in Verification #Logic, programming, and type systems
- Proof Pearl: Magic Wand as Frame
2019/09/19 by Qinxiang Cao, Cao, Qinxiang, Shengyi Wang +5 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing #cs.PL
- Exploiting The Laws of Order in Smart Contracts
2018/10/27 by Kolluri, Aashish, Nikolic, Ivica, Sergey, Ilya +2 · 3 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- A Concurrent Perspective on Smart Contracts
2017/02/17 by Ilya Sergey, Aquinas Hobor, Sergey, Ilya +1 · 1 voice · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Security and Verification in Computing #and Cluster Computing (cs.DC) #cs.DC