Sources for Master Thesis: Semantic Properties in Ethereum Bytecode using Static Analysis
Abstract
Sources accompanying the masters thesis "Semantic Properties in Ethereum Bytecode using Static Analysis". Also released on GitHub.
Fields of Study & Subjects
Logic
programming
and type systems
Blockchain Technology Applications and Security
Security and Verification in Computing
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 4 March 2026
- Language
- EN