Security and Privacy Group
> Zum Inhalt

Niklas Grimm

Technische Universität Wien
Institut of Logic and Computation 192/6
Abteilung für Security and Privacy
 

Favoritenstrasse 9-11
HB 01.14
A-1040, Wien

Telefone: +43 (1)58801 184862
Email: niklas (dot) grimm (at) tuwien (dot) ac (dot) at

 

I am a PhD student at Vienna University of Technology in the Security and Privacy Group.

Research

Publications

  1. Equivalence Properties by Typing in Cryptographic Branching Protocols
    Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
    In Proceedings of 7th International Conference on Principles of Security and Trust (POST 2018).
  2. A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations
    Niklas Grimm, Kenji Maillard, Cédric Fournet, Cătălin Hriţcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
    In Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018)
  3. A Type System for Privacy Properties
    Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
    In Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS 2017).
  4. Micro-Policies for Web Session Security 
    Stefano Calzavara, Riccardo Focardi, Niklas Grimm, and Matteo Maffei
    In Proceeding of the 29th IEEE Computer Security Foundations Symposium (CSF 2016).
  5. Data Lineage in Malicious Environments
    Michael Backes, Niklas Grimm, Aniket Kate
    In IEEE Transactions on Dependable and Secure Computing; Special Issue on Cyber Crime (TDSCSI 2015) 
  6. Lime: Data Lineage in the Malilcious Environment
    Michael Backes, Niklas Grimm, Aniket Kate
    In Proceedings of the 10th International Workshop on Security and Trust Management (STM'14) 

Teaching