@inproceedings{Amani_BBS_18,
    address          = {Los Angeles},
    author           = {Amani, Sidney and Begel, Myriam and Bortin, Maksym and Staples, Mark},
    booktitle        = {International Conference on Certified Programs and Proofs},
    date             = {2018-1-8},
    doi              = {https://doi.org/10.1145/3167084},
    isbn             = {978-1-4503-55},
    month            = jan,
    pages            = {66-77},
    paperurl         = {https://trustworthy.systems/publications/full_text/Amani_BBS_18.pdf},
    publisher        = {ACM},
    title            = {Towards Verifying {Ethereum} Smart Contract Bytecode in {Isabelle}/{HOL}},
    year             = {2018}
  }