- A taxonomy of smart contract platforms and their capabilities
- Static analysis tooling for a given smart contract language, obfuscation techniques
- Empirical study and measurement in real-world smart contract environments
Please contact Aljosha Judmayer.