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

Albert Albiol, Elvira MaríaGordillo Alguacil, PabloHernández-Cerezo, AlejandroRodríguez-Núñez, ClaraRubio, Albert2024-01-302024-01-302022-08-01978303110768997830311076960302-97431611-334910.1007/978-3-031-10769-6_1https://hdl.handle.net/20.500.14352/96669engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contractsconference paperhttps://link.springer.com/chapter/10.1007/978-3-031-10769-6_1open accessInformática (Informática)1203.17 Informática