1. Vector 35. Binary Ninja. 2016. url: https://binary.ninja/.
2. National Security Agency. Ghidra. 2019. url: https://ghidra-sre.org/.
3. Aschermann et al. "REDQUEEN: Fuzzing with Input-to-State Correspondence". In: NDSS Symp. (2019).
4. Syed Badruddoja et al. "Making Smart Contracts Smarter". In: 2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). May 2021, pp. 1--3.
5. Budweiser. Budverse NFT. https://nft.budweiser.com/. Accessed: 2023-4-22. 2023.