Number of items: 2.
Conference or Workshop Item (A Paper)
Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017)
A Type System for Privacy Properties.
Article
Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017)
A Type System for Privacy Properties (Technical Report).
CoRR, abs/17.
This list was generated on Sun Dec 22 04:04:15 2024 CET.