Ryan Falzon

According to our database¹, Ryan Falzon authored at least 2 papers in 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

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

[BibT_eX]

[DOI]

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

Tainting in Smart Contracts: Combining Static and Runtime Verification.

[BibT_eX]

[DOI]

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