Ryan Falzon

According to our database, Ryan Falzon authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Formal Semantics and Implementation of Ethereum Smart Contracts for Blockchain-Based Supply Chain Attestation Flows: A Viticulture Case Study.

Joshua Ellul, Gordon J. Pace, Ryan Falzon, Matthew Scerri

IEEE Access, 2025

2022

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification.

Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Tainting in Smart Contracts: Combining Static and Runtime Verification.

Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace

Proceedings of the Runtime Verification - 22nd International Conference, 2022