@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"
}