1. Adam, J., Jose, L., 2019. Mcafee dex is live and already surviving its first ddos attack. URL: https://beincrypto.com/mcafee-dex-is-live-and-already-surviving-its-first-ddos-attack/. (accessed 11 September 2022).
2. Adam, S., Péter, S., Jeffrey, W., 2013. Go ethereum:official go implementation of the ethereum protocol. URL: https://geth.ethereum.org/. (accessed 3 August 2022).
3. Adams, H., Zinsmeister, N., Salem, M., Keefer, R., Robinson, D., 2021. Uniswap v3 core. URL: https://uniswap.org/whitepaper-v3.pdf. (accessed 24 July 2022).
4. Adler, J., Berryhill, R., Veneris, A., Poulos, Z., Veira, N., Kastania, A., 2018. Astraea: A decentralized blockchain oracle. In: Proceedings of the IEEE International Conference on Internet of Things (IThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), pp. 1145–1152.
5. Towards verifying ethereum smart contract bytecode in isabelle/hol;Amani,2018