Towards verifying ethereum smart contract bytecode in Isabelle/HOL 论文

2018引用 231
DOI
Blockchain Technology Applications and SecuritySecurity and Verification in ComputingDistributed systems and fault tolerance
网络安全Security and Verification in ComputingDistributed systems and fault toleranceBlockchain Technology Applications and Security
关系图谱

Towards verifying ethereum smart contract bytecode in Isabelle/HOL · 作者

M

Mark Staples

M

Maksym Bortin

M

Myriam Bégel

S

Sidney Amani