timidan

talks

• ■building polylithic and upgradeable contracts with the diamond standard — web3lagos conference, 2022
• ■introduction to symbolic execution and formal verification for smart contract security — web3lagos conference, 2023