33 citations · 58 across the 5 of their papers we have counts for
6 papers
Simple fluid with broken time reversal invariance
Niklas Grimm, Annette Zippelius, Matthias Fuchs
We characterize a system of hard spheres with a simple collision rule that breaks time reversal symmetry, but conserves energy. The collisions lead to an a-chiral, isotropic, and h…
Language-Based Web Session Integrity
Stefano Calzavara, Riccardo Focardi, Niklas Grimm +2
Session management is a fundamental component of web applications: despite the apparent simplicity, correctly implementing web sessions is extremely tricky, as witnessed by the lar…
Unveiling domain wall dynamics of ferrimagnets in thermal magnon currents: competition of angular momentum transfer and entropic torque
Andreas Donges, Niklas Grimm, Florian Jakobs +4
Control of magnetic domain wall motion holds promise for efficient manipulation and transfer of magnetically stored information. Thermal magnon currents, generated by temperature g…
A Type System for Privacy Properties (Technical Report)
Véronique Cortier, Niklas Grimm, Joseph Lallemand +1
Mature push button tools have emerged for checking trace properties (e.g. secrecy or authentication) of security protocols. The case of indistinguishability-based privacy propertie…
A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations
Niklas Grimm, Kenji Maillard, Cédric Fournet +7
Relational properties describe multiple runs of one or more programs. They characterize many useful notions of security, program refinement, and equivalence for programs with diver…
Lime: Data Lineage in the Malicious Environment
Michael Backes, Niklas Grimm, Aniket Kate
Intentional or unintentional leakage of confidential data is undoubtedly one of the most severe security threats that organizations face in the digital era. The threat now extends…