Jisoo Kim Eun-Sun Cho Support for the safety of EVM bytecode via function-call interceptor. 676-684 2021 QRS Companion https://doi.org/10.1109/QRS-C55045.2021.00102 conf/qrs/2021c db/conf/qrs/qrs2021c.html#KimC21