Get started
Author

Ryan Falzon

Observed name: Falzon, Ryan
Institution: University of Malta
ORCID: 0000-0001-7513-3658
Observed ORCID: 0000-0001-7513-3658
OpenAlex ID: A5068503458
Tainting in Smart Contracts: Combining Static and Runtime Verification
2022 · Shaun Azzopardi, Joshua Ellul, et al. · Lecture notes in computer science · 7
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
2022 · Shaun Azzopardi, Joshua Ellul, et al. · Lecture notes in computer science · 4
349 The Parent’s Kiss in the Removal of Nasal Foreign Bodies: A case series
2021 · Thomas Calleja, Alexander Clayman, et al. · Abstracts · 2
PDF
Formal Semantics and Implementation of Ethereum Smart Contracts for Blockchain-Based Supply Chain Attestation Flows: A Viticulture Case Study
2025 · Joshua Ellul, Gordon J. Pace, et al. · IEEE Access · 1
Air pollution and Inflammatory Bowel Disease
2018 · Ryan Falzon, Pierre Ellul · Malta Medical Journal
Open access and student research
2015 · Falzon, Ryan, Kunsill Studenti Universitarji · OAR@UM (University of Malta)
The regulation of credit cards in Malta : the consumer credit card contract
2014 · Ryan Falzon
Works count: 7
Citation count: 14
H-index: 2
I10-index:
Year
Topic
Type