| Supervisors: | Pedro Miguel dos Santos Alves Madeira Adão, Paulo Alexandre Carreira Mateus |
| University: | Instituto Superior Técnico |
| Keywords: | Ethereum, Smart Contracts, Operational Semantics, Turing Completeness, Code Optimization, Execution Context |
| Abstract: | PDF download |