Security and Privacy Group
> Zum Inhalt
2018-02-26 [ ]

Matteo Maffei gives an invited talk at the SYSMICS workshop

Matteo Maffei talked about "Security and Privacy by Typing in Cryptographic Systems" at SYSMICS, the second workshop on Substructural logics: semantics, proof theory, and applications.