@inproceedings{park-zhang-saxena-daian-rosu-2018-fse, author = "Park, Daejun and Zhang, Yi and Saxena, Manasvi and Daian, Philip and Ro\c{s}u, Grigore", publisher = "ACM", doi = "http://dx.doi.org/10.1145/3236024.3264591", title = "{A Formal Verification Tool for Ethereum VM Bytecode}", booktitle = "Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'18)", month = "November", year = "2018", pages = "912-915" }