POSTER-TRIPLEX : verifying data minimisation in communication systems

M.G. Veeningen; M. Bruso; J.I. Hartog, den; N. Zannone

doi:10.1145/2508859.2512514

POSTER-TRIPLEX : verifying data minimisation in communication systems

M.G. Veeningen
, M. Bruso
, J.I. Hartog, den
, N. Zannone

Mathematics and Computer Science

Research output: Contribution to conference › Poster

3 Downloads (Pure)

Abstract

Systems dealing with personal information are legally required to satisfy the principle of data minimisation. Privacy-enhancing protocols use cryptographic primitives to minimise the amount of personal information exposed by communication. However, the complexity of these primitives and their interplay makes it hard for non-cryptography experts to understand the privacy implications of their use. In this paper, we present TRIPLEX, a framework for the analysis of data minimisation in privacy-enhancing protocols. Keywords: Data minimisation; Coalition Graphs; Detectability; Linkability

Original language	English
Pages	1415-1418
DOIs	https://doi.org/10.1145/2508859.2512514
Publication status	Published - 2013
Event	conference; 20th ACM SIGSAC Conference on Computer and Communications Security; 2013-11-04; 2013-11-08 - Duration: 4 Nov 2013 → 8 Nov 2013

Conference

Conference	conference; 20th ACM SIGSAC Conference on Computer and Communications Security; 2013-11-04; 2013-11-08
Period	4/11/13 → 8/11/13
Other	20th ACM SIGSAC Conference on Computer and Communications Security

Bibliographical note

Proceedings of the 20th ACM SIGSAC Conference on Computer and Communications Security (CCS'13, Berlin, Germany, November 4-8, 2013)

Access to Document

10.1145/2508859.2512514

Cite this

@conference{3376bfe9821144cba5bff5ff854e992d,

title = "POSTER-TRIPLEX : verifying data minimisation in communication systems",

abstract = "Systems dealing with personal information are legally required to satisfy the principle of data minimisation. Privacy-enhancing protocols use cryptographic primitives to minimise the amount of personal information exposed by communication. However, the complexity of these primitives and their interplay makes it hard for non-cryptography experts to understand the privacy implications of their use. In this paper, we present TRIPLEX, a framework for the analysis of data minimisation in privacy-enhancing protocols. Keywords: Data minimisation; Coalition Graphs; Detectability; Linkability",

author = "M.G. Veeningen and M. Bruso and \{Hartog, den\}, J.I. and N. Zannone",

note = "Proceedings of the 20th ACM SIGSAC Conference on Computer and Communications Security (CCS'13, Berlin, Germany, November 4-8, 2013); conference; 20th ACM SIGSAC Conference on Computer and Communications Security; 2013-11-04; 2013-11-08 ; Conference date: 04-11-2013 Through 08-11-2013",

year = "2013",

doi = "10.1145/2508859.2512514",

language = "English",

pages = "1415--1418",

}

TY - CONF

T1 - POSTER-TRIPLEX : verifying data minimisation in communication systems

AU - Veeningen, M.G.

AU - Bruso, M.

AU - Hartog, den, J.I.

AU - Zannone, N.

N1 - Proceedings of the 20th ACM SIGSAC Conference on Computer and Communications Security (CCS'13, Berlin, Germany, November 4-8, 2013)

PY - 2013

Y1 - 2013

N2 - Systems dealing with personal information are legally required to satisfy the principle of data minimisation. Privacy-enhancing protocols use cryptographic primitives to minimise the amount of personal information exposed by communication. However, the complexity of these primitives and their interplay makes it hard for non-cryptography experts to understand the privacy implications of their use. In this paper, we present TRIPLEX, a framework for the analysis of data minimisation in privacy-enhancing protocols. Keywords: Data minimisation; Coalition Graphs; Detectability; Linkability

AB - Systems dealing with personal information are legally required to satisfy the principle of data minimisation. Privacy-enhancing protocols use cryptographic primitives to minimise the amount of personal information exposed by communication. However, the complexity of these primitives and their interplay makes it hard for non-cryptography experts to understand the privacy implications of their use. In this paper, we present TRIPLEX, a framework for the analysis of data minimisation in privacy-enhancing protocols. Keywords: Data minimisation; Coalition Graphs; Detectability; Linkability

U2 - 10.1145/2508859.2512514

DO - 10.1145/2508859.2512514

M3 - Poster

SP - 1415

EP - 1418

T2 - conference; 20th ACM SIGSAC Conference on Computer and Communications Security; 2013-11-04; 2013-11-08

Y2 - 4 November 2013 through 8 November 2013

ER -

POSTER-TRIPLEX : verifying data minimisation in communication systems

Abstract

Conference

Bibliographical note

Access to Document

Fingerprint

Cite this