80 citations · 128 across the 5 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.SE2020★ 15 cited
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
Ákos Hajdu, Naghmeh Ivaki, Imre Kocsis +5
Blockchain has become particularly popular due to its promise to support business-critical services in very different domains (e.g., retail, supply chains, healthcare). Blockchain…
cs.PL2020
Formal Specification and Verification of Solidity Contracts with Events
Ákos Hajdu, Dejan Jovanović, Gabriela Ciocarlie
Events in the Solidity language provide a means of communication between the on-chain services of decentralized applications and the users of those services. Events are commonly us…
cs.PL2020★ 29 cited
SMT-Friendly Formalization of the Solidity Memory Model
Ákos Hajdu, Dejan Jovanović
Solidity is the dominant programming language for Ethereum smart contracts. This paper presents a high-level formalization of the Solidity language with a focus on the memory model…