著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Everett Hildenbrandt and Manasvi Saxena and Nishant Rodrigues and Xiaoran Zhu and Philip Daian and Dwight Guth and Brandon Moore and Daejun Park and Yi Zhang and Andrei Stefanescu and Grigore Rosu,KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine,2018 IEEE 31st Computer Security Foundations Symposium (CSF),,IEEE,2018-07,,,,https://cir.nii.ac.jp/crid/1363107370320680832,https://doi.org/10.1109/csf.2018.00022