Security and Privacy Group
> Zum Inhalt
2019-03-19 [ ]

Invited talk at the Helmut Veith Memorial Workshop

Matteo Maffei gave an invited talk at the Helmut Veith Memorial Workshop on foundations and tools for the static analysis of smart contracts

The slides are available here