Niklas Grimm

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