Invited talk at the Royal Academy of Engineering, London on Tuesday, 21st of May 2024 arranged by Research Institute on Verified Trustworthy Software Systems (VeTSS). Diego Marmsoler, “Secure Smart Contracts with Isabelle/Solidity”, VeTSS Annual Meeting, 2024 – YouTube