TRIPLEX: Verifying Data Minimisation in Communication Systems

TitleTRIPLEX: Verifying Data Minimisation in Communication Systems
Publication TypeConference Paper
Year of Publication2013
AuthorsVeeningen, M, Brusò, M, den Hartog, J, Zannone, N
Conference NameCCS
Work Package: 
WP3