Niklas Grimm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2017–2018
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CPP | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. | Niklas Grimm, Kenji Maillard, Cdric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2017 | CCS | A Type System for Privacy Properties. | Vronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei |