Securely Optimized (Ethereum) Smart Contracts Using Formal Methods.

Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernndez-Cerezo, Enrique Martin-Martin, Albert Rubio

Browse the full SEFM paper archive.