Publications
Filters: Author is Nicola Zannone [Clear All Filters]
, “TRIPLEX: Verifying Data Minimisation in Communication Systems”, in CCS, 2013.
, “TRIPLEX: verifying data minimisation in communication systems”, in ACM Conference on Computer and Communications Security , 2013.
, “Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy”, in Security and Trust Management - 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers, 2012.
