@conference {120,
	title = {TRIPLEX: Verifying Data Minimisation in Communication Systems},
	booktitle = {CCS},
	year = {2013},
	author = {Meilof Veeningen and Mayla Brus{\`o} and Jerry den Hartog and Nicola Zannone}
}