Lime: Data Lineage in the Malicious Environment. - Michael Backes 001; Niklas Grimm; Aniket Kate (STM, 2014)

Micro-policies for Web Session Security. - Stefano Calzavara; Riccardo Focardi; Niklas Grimm; Matteo Maffei (CSF, 2016)

Data Lineage in Malicious Environments. - Michael Backes 001; Niklas Grimm; Aniket Kate (IEEE Trans. Dependable Secur. Comput., 2016)

A Type System for Privacy Properties. - Véronique Cortier; Niklas Grimm; Joseph Lallemand; Matteo Maffei (CCS, 2017)

A Monadic Framework for Relational Verification (Functional Pearl). - Niklas Grimm; Kenji Maillard; Cédric Fournet; Catalin Hritcu; Matteo Maffei; Jonathan Protzenko; Aseem Rastogi; Nikhil Swamy; Santiago Zanella-Béguelin (CoRR, 2017)

A Type System for Privacy Properties (Technical Report). - Véronique Cortier; Niklas Grimm; Joseph Lallemand; Matteo Maffei (CoRR, 2017)

A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. - Niklas Grimm; Kenji Maillard; Cédric Fournet; Catalin Hritcu; Matteo Maffei; Jonathan Protzenko; Tahina Ramananandro; Aseem Rastogi; Nikhil Swamy; Santiago Zanella-Béguelin (CPP, 2018)

Equivalence Properties by Typing in Cryptographic Branching Protocols. - Véronique Cortier; Niklas Grimm; Joseph Lallemand; Matteo Maffei (POST, 2018)

Language-Based Web Session Integrity. - Stefano Calzavara; Riccardo Focardi; Niklas Grimm; Matteo Maffei; Mauro Tempesta (CSF, 2020)