Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2007.09696
Cited By
STAN: Towards Describing Bytecodes of Smart Contract
19 July 2020
Xiaoqi Li
Ting Chen
Xiapu Luo
Tao Zhang
Le Yu
Zhou Xu
Re-assign community
ArXiv
PDF
HTML
Papers citing
"STAN: Towards Describing Bytecodes of Smart Contract"
4 / 4 papers shown
Title
Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov
A. Dan
Dana Drachsler-Cohen
Arthur Gervais
Florian Buenzli
Martin Vechev
46
915
0
04 Jun 2018
A Survey on the Security of Blockchain Systems
Xiaoqi Li
Peng Jiang
Ting Chen
Xiapu Luo
Shirui Pan
39
1,427
0
20 Feb 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
I. Nikolic
Aashish Kolluri
Ilya Sergey
P. Saxena
Aquinas Hobor
33
591
0
16 Feb 2018
An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks
Ting Chen
Xiaoqi Li
Ying Wang
Jiachi Chen
Zihao Li
Xiapu Luo
M. Au
Xiaosong Zhang
AAML
32
116
0
18 Dec 2017
1