KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine 论文

2018引用 408
DOI
Security and Verification in ComputingBlockchain Technology Applications and SecurityDistributed systems and fault tolerance
网络安全Security and Verification in ComputingDistributed systems and fault toleranceBlockchain Technology Applications and Security
关系图谱

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine · 作者

G

Grigore Roşu

A

Andrei Ștefănescu

D

Daejun Park

B

Brandon Moore

D

Dwight Guth

P

Philip Daian

X

Xiaoran Zhu

N

Nishant Rodrigues

M

Manasvi Saxena

E

Everett Hildenbrandt