FERREIRA TORRES, C., Schütte, J., & STATE, R. (2018). Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts. In 34th Annual Computer Security Applications Conference (ACSAC ’18), San Juan, Puerto Rico, USA, December 3-7, 2018. doi:10.1145/3274694.3274737 https://hdl.handle.net/10993/36757