Full name Familienname, Vorname
Ramananandro, Tahina
 

Results 1-1 of 1 (Search time: 0.002 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