Niklas Grimm

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 9

Top Topics

Extensible Markup Language

Probabilistic Relational Models

Technical Report

Top Venues

Publications

Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
Language-Based Web Session Integrity. CoRR (2020)
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
Language-Based Web Session Integrity. CSF (2020)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. CPP (2018)
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
Equivalence Properties by Typing in Cryptographic Branching Protocols. POST (2018)
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
A Type System for Privacy Properties. CCS (2017)
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
A Type System for Privacy Properties (Technical Report). CoRR (2017)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A Monadic Framework for Relational Verification (Functional Pearl). CoRR (2017)
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei
Micro-policies for Web Session Security. CSF (2016)
Michael Backes, Niklas Grimm, Aniket Kate
Data Lineage in Malicious Environments. IEEE Trans. Dependable Secur. Comput. 13 (2) (2016)
Michael Backes, Niklas Grimm, Aniket Kate
Lime: Data Lineage in the Malicious Environment. STM (2014)
Michael Backes, Niklas Grimm, Aniket Kate
Lime: Data Lineage in the Malicious Environment. CoRR (2014)