TRIPLEX: Verifying Data Minimisation in Communication Systems
| Title | TRIPLEX: Verifying Data Minimisation in Communication Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Veeningen, M, Brusò, M, den Hartog, J, Zannone, N |
| Conference Name | CCS |
Work Package:
WP3
