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

Onderzoeksoutput: Bijdrage aan congres › Poster

3 Downloads (Pure)

Samenvatting

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

Originele taal-2	Engels
Pagina's	1415-1418
DOI's	https://doi.org/10.1145/2508859.2512514
Status	Gepubliceerd - 2013
Evenement	conference; 20th ACM SIGSAC Conference on Computer and Communications Security; 2013-11-04; 2013-11-08 - Duur: 4 nov. 2013 → 8 nov. 2013

Congres

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

Bibliografische nota

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

Toegang tot document

10.1145/2508859.2512514

Citeer dit

@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

Samenvatting

Congres

Bibliografische nota

Toegang tot document

Vingerafdruk

Citeer dit