Joel Frank, Cornelius Aschermann, Thorsten Holz. ETHBMC: A Bounded Model Checker for Smart Contracts. In Srdjan Capkun, Franziska Roesner, editors, 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020. pages 2757-2774, USENIX Association, 2020. [doi]
Abstract is missing.