Grimm, Niklas
95  Ergebnisse:
Personensuche X
?
 
?
6

Language-Based Web Session Integrity:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),
 
?
7

Equivalence Properties by Typing in Cryptographic Branching..:

, In: Lecture Notes in Computer Science; Principles of Security and Trust,
 
?
8

A monadic framework for relational verification: applied to..:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Grimm, Niklas ; Maillard, Kenji ; Fournet, Cédric... - p. 130-145 , 2018
 
?
9

A Type System for Privacy Properties:

, In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security,
 
?
10

Data Lineage in Malicious Environments:

Backes, Michael ; Grimm, Niklas ; Kate, Aniket
IEEE Transactions on Dependable and Secure Computing.  13 (2016)  2 - p. 178-191 , 2016
 
?
13

Simple fluid with broken time-reversal invariance:

Grimm, Niklas ; Zippelius, Annette ; Fuchs, Matthias
https://resolver.sub.uni-goettingen.de/purl?gro-2/135169.  , 2022
 
1-15