Security and Privacy Group
> Zum Inhalt
2019-04-12 [ ]

Invited Talk at HCVS 2019

Matteo Maffei gives an invited talk at the 6th Workshop on Horn Clauses for Verification and Synthesis (HVCS'19), affiliated to ETAPS'19, on Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts.

Slides are available here