Kevm: A complete formal semantics of the ethereum virtual machine

E Hildenbrandt, M Saxena, N Rodrigues… - 2018 IEEE 31st …, 2018 - ieeexplore.ieee.org
A developing field of interest for the distributed systems and applied cryptography
communities is that of smart contracts: self-executing financial instruments that synchronize …
被引用次数：451 相关文章
[PDF] github.io

[PDF][PDF] KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

E Hildenbrandtac, M Saxenaac, N Rodriguesb… - daejunpark.github.io
A developing field of interest for the distributed systems and applied cryptography
communities is that of smart contracts: self-executing financial instruments that synchronize …
[PDF] illinois.edu

[PDF][PDF] KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

E Hildenbrandtac, M Saxenaac, N Rodriguesb… - fsl.cs.illinois.edu
A developing field of interest for the distributed systems and applied cryptography
communities is that of smart contracts: self-executing financial instruments that synchronize …
[PDF] 47.52.94.58

[PDF][PDF] KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

E Hildenbrandtac, M Saxenaac, N Rodriguesb… - 47.52.94.58
A developing field of interest for the distributed systems and applied cryptography
communities is that of smart contracts: self-executing financial instruments that synchronize …
[PDF] github.io

[PDF][PDF] KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

E Hildenbrandtac, M Saxenaac, N Rodriguesb… - formal-systems-laboratory.github.io
A developing field of interest for the distributed systems and applied cryptography
communities is that of smart contracts: self-executing financial instruments that synchronize …
[PDF] t-news.cn

[PDF][PDF] KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

E Hildenbrandtac, M Saxenaac, N Rodriguesb… - t-news.cn
A developing field of interest for the distributed systems and applied cryptography
communities is that of smart contracts: self-executing financial instruments that synchronize …
[PDF] t-news.cn

[PDF][PDF] KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

E Hildenbrandtac, M Saxenaac, N Rodriguesb… - t-news.cn
A developing field of interest for the distributed systems and applied cryptography
communities is that of smart contracts: self-executing financial instruments that synchronize …

KEVM: A complete formal semantics of the ethereum virtual machine

E Hildenbrandt, M Saxena, N Rodrigues… - 31st IEEE Computer …, 2018 - experts.illinois.edu
A developing field of interest for the distributed systems and applied cryptography
communities is that of smart contracts: Self-executing financial instruments that synchronize …

[引用][C] KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

E Hildenbrandt, M Saxena, N Rodrigues… - 2018 IEEE 31st …, 2018 - cir.nii.ac.jp
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine | CiNii Research CiNii
国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データを …

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

E Hildenbrandt, M Saxena, N Rodrigues… - 2018 IEEE 31st …, 2018 - computer.org
A developing field of interest for the distributed systems and applied cryptography
communities is that of smart contracts: self-executing financial instruments that synchronize …