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 · 相关事件

暂无数据