Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts.

The use of the Ethereum blockchain platform [ 17 ] has experienced an enormous growth since its very first transaction back in 2015 and, along with it, the verification and optimization of the programs executed in the blockchain (known as Ethereum smart contracts ) have raised considerable interest within the research community.