Assuremr: Verifiable SQL execution on mapreduce

Bo Zhang, Boxiang Dong, Wendy Hui Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We design AssureMR, a system that supports efficient verification of SQL Selection-GroupBy-Aggregation (SGA) query evaluation on an untrusted MapReduce system. AssureMR does not rely on a centralized trusted party to construct the authentication data structure (ADS). Instead, AssureMR allows the untrusted mappers/reducers to construct ADS. AssureMR provides the following verification functionality: (1) correctness verification of ADS; (2) correctness verification of intermediate query results by individual mapper; and (3) correctness verification of final query results by reducers. Our experimental results demonstrate the efficiency and effectiveness of AssureMR.

Original languageEnglish
Title of host publicationProceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1232-1235
Number of pages4
ISBN (Electronic)9781538655207
DOIs
StatePublished - 24 Oct 2018
Event34th IEEE International Conference on Data Engineering, ICDE 2018 - Paris, France
Duration: 16 Apr 201819 Apr 2018

Publication series

NameProceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018

Other

Other34th IEEE International Conference on Data Engineering, ICDE 2018
CountryFrance
CityParis
Period16/04/1819/04/18

Fingerprint

Authentication
Data structures
Agglomeration
MapReduce
Query
Evaluation
Functionality

Keywords

  • MapReduce
  • SQL
  • Verification

Cite this

Zhang, B., Dong, B., & Wang, W. H. (2018). Assuremr: Verifiable SQL execution on mapreduce. In Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018 (pp. 1232-1235). [8509338] (Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICDE.2018.00117
Zhang, Bo ; Dong, Boxiang ; Wang, Wendy Hui. / Assuremr : Verifiable SQL execution on mapreduce. Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. Institute of Electrical and Electronics Engineers Inc., 2018. pp. 1232-1235 (Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018).
@inproceedings{43c37ae292ac408aabbfaacfa166a21d,
title = "Assuremr: Verifiable SQL execution on mapreduce",
abstract = "We design AssureMR, a system that supports efficient verification of SQL Selection-GroupBy-Aggregation (SGA) query evaluation on an untrusted MapReduce system. AssureMR does not rely on a centralized trusted party to construct the authentication data structure (ADS). Instead, AssureMR allows the untrusted mappers/reducers to construct ADS. AssureMR provides the following verification functionality: (1) correctness verification of ADS; (2) correctness verification of intermediate query results by individual mapper; and (3) correctness verification of final query results by reducers. Our experimental results demonstrate the efficiency and effectiveness of AssureMR.",
keywords = "MapReduce, SQL, Verification",
author = "Bo Zhang and Boxiang Dong and Wang, {Wendy Hui}",
year = "2018",
month = "10",
day = "24",
doi = "10.1109/ICDE.2018.00117",
language = "English",
series = "Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1232--1235",
booktitle = "Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018",

}

Zhang, B, Dong, B & Wang, WH 2018, Assuremr: Verifiable SQL execution on mapreduce. in Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018., 8509338, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018, Institute of Electrical and Electronics Engineers Inc., pp. 1232-1235, 34th IEEE International Conference on Data Engineering, ICDE 2018, Paris, France, 16/04/18. https://doi.org/10.1109/ICDE.2018.00117

Assuremr : Verifiable SQL execution on mapreduce. / Zhang, Bo; Dong, Boxiang; Wang, Wendy Hui.

Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. Institute of Electrical and Electronics Engineers Inc., 2018. p. 1232-1235 8509338 (Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Assuremr

T2 - Verifiable SQL execution on mapreduce

AU - Zhang, Bo

AU - Dong, Boxiang

AU - Wang, Wendy Hui

PY - 2018/10/24

Y1 - 2018/10/24

N2 - We design AssureMR, a system that supports efficient verification of SQL Selection-GroupBy-Aggregation (SGA) query evaluation on an untrusted MapReduce system. AssureMR does not rely on a centralized trusted party to construct the authentication data structure (ADS). Instead, AssureMR allows the untrusted mappers/reducers to construct ADS. AssureMR provides the following verification functionality: (1) correctness verification of ADS; (2) correctness verification of intermediate query results by individual mapper; and (3) correctness verification of final query results by reducers. Our experimental results demonstrate the efficiency and effectiveness of AssureMR.

AB - We design AssureMR, a system that supports efficient verification of SQL Selection-GroupBy-Aggregation (SGA) query evaluation on an untrusted MapReduce system. AssureMR does not rely on a centralized trusted party to construct the authentication data structure (ADS). Instead, AssureMR allows the untrusted mappers/reducers to construct ADS. AssureMR provides the following verification functionality: (1) correctness verification of ADS; (2) correctness verification of intermediate query results by individual mapper; and (3) correctness verification of final query results by reducers. Our experimental results demonstrate the efficiency and effectiveness of AssureMR.

KW - MapReduce

KW - SQL

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=85057076344&partnerID=8YFLogxK

U2 - 10.1109/ICDE.2018.00117

DO - 10.1109/ICDE.2018.00117

M3 - Conference contribution

AN - SCOPUS:85057076344

T3 - Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018

SP - 1232

EP - 1235

BT - Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Zhang B, Dong B, Wang WH. Assuremr: Verifiable SQL execution on mapreduce. In Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. Institute of Electrical and Electronics Engineers Inc. 2018. p. 1232-1235. 8509338. (Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018). https://doi.org/10.1109/ICDE.2018.00117