TU Darmstadt / ULB / TUprints

Language-Integrated Privacy-Aware Distributed Queries

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2020)
Language-Integrated Privacy-Aware Distributed Queries.
In: Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA)
doi: 10.25534/tuprints-00014553
Article, Secondary publication, Publisher's Version

[img]
Preview
Text
3360593.pdf
Copyright Information: CC BY 4.0 International - Creative Commons, Attribution.

Download (1MB) | Preview
Item Type: Article
Type of entry: Secondary publication
Title: Language-Integrated Privacy-Aware Distributed Queries
Language: English
Date: 30 November 2020
Place of Publication: Darmstadt
Year of primary publication: 2019
Publisher: Association for Computing Machinery
Journal or Publication Title: Proceedings of the ACM on Programming Languages
Volume of the journal: 3
Issue Number: OOPSLA
DOI: 10.25534/tuprints-00014553
Corresponding Links:
Origin: Secondary publication via Golden Open Access
Abstract:

Distributed query processing is an effective means for processing large amounts of data. To abstract from the technicalities of distributed systems, algorithms for operator placement automatically distribute sequential data queries over the available processing units. However, current algorithms for operator placement focus on performance and ignore privacy concerns that arise when handling sensitive data. We present a new methodology for privacy-aware operator placement that both prevents leakage of sensitive information and improves performance. Crucially, our approach is based on an information-flow type system for data queries to reason about the sensitivity of query subcomputations. Our solution unfolds in two phases. First, placement space reduction generates deployment candidates based on privacy constraints using a syntax-directed transformation driven by the information-flow type system. Second, constraint solving selects the best placement among the candidates based on a cost model that maximizes performance. We verify that our algorithm preserves the sequential behavior of queries and prevents leakage of sensitive data. We implemented the type system and placement algorithm for a new query language SecQL and demonstrate significant performance improvements in benchmarks.

Status: Publisher's Version
URN: urn:nbn:de:tuda-tuprints-145533
Classification DDC: 000 Generalities, computers, information > 004 Computer science
Divisions: 20 Department of Computer Science > Software Technology
Profile Areas > Cybersecurity (CYSEC)
LOEWE > LOEWE-Zentren > emergenCITY
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1119: CROSSING – Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
Date Deposited: 30 Nov 2020 16:05
Last Modified: 20 Oct 2023 10:55
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/14553
PPN:
Export:
Actions (login required)
View Item View Item