Name Card

Full name Familienname, Vorname
Zanella-Béguelin, Santiago
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Grimm, Niklas ; Maillard, Kenji ; Fournet, Cedric ; Hritcu, Catalin ; Maffei, Matteo ; Protzenko, Jonathan ; Ramananandro, Tahina ; Swamy, Nikhil ; Zanella-Béguelin, Santiago A monadic framework for relational verification: applied to information security, program equivalence, and optimizationsKonferenzbeitrag Inproceedings 2018