1. SAFEVM: a safety verifier for ethereum smart contracts;Albert,2019
2. Ethir: A framework for high-level analysis of ethereum bytecode;Albert,2018
3. Function boundary detection in stripped binaries;Alves-Foss,2019
4. WYSINWYX: what you see is not what you execute;Balakrishnan;ACM Trans. Program. Lang. Syst.,2010
5. Bao, T., Burket, J., Woo, M., Turner, R., Brumley, D., 2014. {BYTEWEIGHT}: Learning to recognize functions in binary code. In: 23rd {USENIX} Security Symposium ({USENIX} Security 14). pp. 845–860.