@conference {253,
	title = {TRIPLEX: verifying data minimisation in communication systems},
	booktitle = {ACM Conference on Computer and Communications Security },
	year = {2013},
	publisher = {ACM},
	organization = {ACM},
	author = {Meilof Veeningen and Mayla Brus{\`o} and Jerry den Hartog and Nicola Zannone}
}