TRIPLEX: verifying data minimisation in communication systems.

Meilof Veeningen, Mayla Brus, Jerry den Hartog, Nicola Zannone

Browse the full CCS paper archive.