Daejun Park 0001, Yi Zhang, Manasvi Saxena, Philip Daian, Grigore Rosu. A formal verification tool for Ethereum VM bytecode. In Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu, editors, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. pages 912-915, ACM, 2018. [doi]
@inproceedings{0001ZSDR18,
title = {A formal verification tool for Ethereum VM bytecode},
author = {Daejun Park 0001 and Yi Zhang and Manasvi Saxena and Philip Daian and Grigore Rosu},
year = {2018},
doi = {10.1145/3236024.3264591},
url = {https://doi.org/10.1145/3236024.3264591},
researchr = {https://researchr.org/publication/0001ZSDR18},
cites = {0},
citedby = {0},
pages = {912-915},
booktitle = {Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018},
editor = {Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu},
publisher = {ACM},
isbn = {978-1-4503-5573-5},
}