3 citations · 4 across the 2 of their papers we have counts for
6 papers
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…
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…
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…
solc-verify: A Modular Verifier for Solidity Smart Contracts
Ákos Hajdu, Dejan Jovanović
We present solc-verify, a source-level verification tool for Ethereum smart contracts. Solc-verify takes smart contracts written in Solidity and discharges verification conditions…
Towards Evaluating Size Reduction Techniques for Software Model Checking
Gyula Sallai, Ákos Hajdu, Tamás Tóth +1
Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to…
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers
Bence Czipó, Ákos Hajdu, Tamás Tóth +1
Statecharts are frequently used as a modeling formalism in the design of state-based systems. Formal verification techniques are also often applied to prove certain properties abou…