Secure Smart Contracts with Isabelle/Solidity.

Diego Marmsoler, Asad Ahmed, Achim D. Brucker

Browse the full SEFM paper archive.