@misc{brent2018vandal,
    title={Vandal: A Scalable Security Analysis Framework for Smart Contracts},
    author={Lexi Brent and Anton Jurisevic and Michael Kong and Eric Liu and Francois Gauthier and Vincent Gramoli and Ralph Holz and Bernhard Scholz},
    year={2018},
    eprint={1809.03981},
    archivePrefix={arXiv},
    primaryClass={cs.PL}
}