BibTeX record conf/csfw/HildenbrandtSRZ18

• > Home > conf/csfw/HildenbrandtSRZ18

@inproceedings{DBLP:conf/csfw/HildenbrandtSRZ18,
  author       = {Everett Hildenbrandt and
                  Manasvi Saxena and
                  Nishant Rodrigues and
                  Xiaoran Zhu and
                  Philip Daian and
                  Dwight Guth and
                  Brandon M. Moore and
                  Daejun Park and
                  Yi Zhang and
                  Andrei Stefanescu and
                  Grigore Rosu},
  title        = {{KEVM:} {A} Complete Formal Semantics of the Ethereum Virtual Machine},
  booktitle    = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
                  United Kingdom, July 9-12, 2018},
  pages        = {204--217},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/CSF.2018.00022},
  doi          = {10.1109/CSF.2018.00022},
  timestamp    = {Sat, 30 Sep 2023 09:37:59 +0200},
  biburl       = {https://dblp.org/rec/conf/csfw/HildenbrandtSRZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}