Name Card

Full name Familienname, Vorname
Grimm, Niklas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Grimm Niklas - 2021 - Static and dynamic enforcement of security via relational...pdf.jpgGrimm, Niklas Static and dynamic enforcement of security via relational reasoningThesis Hochschulschrift 2021
2Calzavara, Stefano ; Focardi, Riccardo ; Grimm, Niklas ; Maffei, Matteo ; Tempesta, Mauro Language-Based Web Session IntegrityKonferenzbeitrag Inproceedings 2020
3Cortier, Véronique ; Grimm, Niklas ; Lallemand, Joseph ; Maffei, Matteo Equivalence Properties by Typing in Cryptographic Branching ProtocolsKonferenzbeitrag Inproceedings 2018
4Grimm, 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
5Maffei, Matteo ; Lallemand, Joseph ; Cortier, Véronique ; Grimm, Niklas A Type System for Privacy PropertiesKonferenzbeitrag Inproceedings 2017