Niklas Grimm

According to our database, Niklas Grimm authored at least 9 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Language-Based Web Session Integrity.

Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2018

Equivalence Properties by Typing in Cryptographic Branching Protocols.

Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

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

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

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 (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.

Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Data Lineage in Malicious Environments.

Michael Backes, Niklas Grimm, Aniket Kate

IEEE Trans. Dependable Secur. Comput., 2016

Micro-policies for Web Session Security.

Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2014

Lime: Data Lineage in the Malicious Environment.

Michael Backes, Niklas Grimm, Aniket Kate

Proceedings of the Security and Trust Management - 10th International Workshop, 2014