Security and Privacy Group
> Zum Inhalt
2018-04-23 [ ]

Best Paper Award at ETAPS

Our work on "A Semantic Framework for the Security Analysis of Smart Contracts" received the best paper award at ETAPS from the European Association of Programming Languages and Systems (EAPLS).

The paper is available here