Name: Shaun Azzopardi
Type: User
Company: University of Gothenburg
Bio: I am a postdoc at the University of Gothenburg.
Interests: Static analysis, runtime verification, deontic logic, reactive synthesis, and smart contracts.
Location: Gothenburg
Blog: https://shaunazzopardi.github.io/
Shaun Azzopardi's Projects
BoSy is a reactive synthesis tool based on constraint-solving
A parser from BPMN to Solidity smart contracts.
Residual analysis/verification for Java programs
Runtime verification tool for Solidity smart contracts.
ASP.NET MVC website to find courses open to student's qualifications.
A Partial Deontic Logic
A Partial Deontic Logic with conflict checking.
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
An attempt at runtime verification of Ethereum smart contracts.
An efficient proof language
Three case studies in useful interaction between smart contracts, with one smart contract asaservice
A rewriter for LTL given as input a set of events.
A list of commonly used Maltese words.
An interface for an ERC-20 token smart contract that enforces the expected behaviour of each entry-point.
A case study in securing calls between smart contracts using the Parity wallet.
BibBase Example Page
A template for type-safe smart contract versioning on Ethereum.
A control-flow graph builder for Solidity smart contracts.
Notes on Solidity I intend to keep while learning and getting used to the Solidity language for smart contracts on Ethereum.
An experiment in building a partial function evaluator for Solidity smart contracts.
Static analysis for Solidity smart contract with properties as symbolic automata.
A Dockerfile to install Strix (https://strix.model.in.tum.de/) in an Ubuntu docker image.
A tool for symbolic finite and infinite-state reactive synthesis
A TArgeted Pointer Analysis for Java programs
A few useful smart contracts and smart contracts pattern in Solidity for Ethereum.