Shaun Azzopardi's repositories
solidity-cfg-builder
A control-flow graph builder for Solidity smart contracts.
solidity-static-analysis
Static analysis for Solidity smart contract with properties as symbolic automata.
bpmn-to-solidity
A parser from BPMN to Solidity smart contracts.
deontic-logic-with-unknowns-haskell
A Partial Deontic Logic with conflict checking.
maltese-dictionary
A list of commonly used Maltese words.
contractLarva
Runtime verification tool for Solidity smart contracts.
deontic-logic-with-unknowns
A Partial Deontic Logic
ethereuem-runtime-verification
An attempt at runtime verification of Ethereum smart contracts.
smart-contract-versioning
A template for type-safe smart contract versioning on Ethereum.
useful-smart-contracts
A few useful smart contracts and smart contracts pattern in Solidity for Ethereum.
strix-docker
A Dockerfile to install Strix (https://strix.model.in.tum.de/) in an Ubuntu docker image.
course-matcher
ASP.NET MVC website to find courses open to student's qualifications.
deontic-monitoring-solidity
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
interactive-smart-contracts-case-study
Three case studies in useful interaction between smart contracts, with one smart contract asaservice
ltl-rewriting-monitor
A rewriter for LTL given as input a set of events.
safely-mutable-ERC-20-interface
An interface for an ERC-20 token smart contract that enforces the expected behaviour of each entry-point.
secure-parity-wallet
A case study in securing calls between smart contracts using the Parity wallet.
shaunazzopardi.github.io
BibBase Example Page
solidity-notes
Notes on Solidity I intend to keep while learning and getting used to the Solidity language for smart contracts on Ethereum.
solidity-partial-evaluator
An experiment in building a partial function evaluator for Solidity smart contracts.