loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Daniel Demmler 1 ; Stefan Katzenbeisser 2 ; Thomas Schneider 3 ; Tom Schuster 3 and Christian Weinert 3

Affiliations: 1 University of Hamburg, Germany ; 2 University of Passau, Germany ; 3 Technical University of Darmstadt, Germany

Keyword(s): Privacy-preserving Protocols, MPC, Circuit Compilation.

Abstract: Secure multi-party computation (MPC) allows multiple parties to securely evaluate a public function on their private inputs. The field has steadily moved forward and real-world applications have become practical. However, MPC implementations are often hand-built and require cryptographic knowledge. Thus, special compilers like HyCC (Büscher et al., CCS’18) have been developed, which automatically compile high-level programs to combinations of Boolean and arithmetic circuits required for mixed-protocol (hybrid) MPC. In this work, we explore the advantages of extending MPC compilers with an intermediate representation (IR) as commonly used in modern compiler infrastructures. For this, we extend HyCC with a graph-based IR that facilitates the implementation of well-known algorithms from compiler design as well as further MPC-specific optimizations. We demonstrate the benefits by implementing arithmetic decomposition based on our new IR that automatically extracts arithmetic expr essions and then compiles them into separate circuits. For a line intersection algorithm, we require 40% less run-time and improve total communication by a factor of 3x compared to regular HyCC when securely evaluating the corresponding circuit with the hybrid MPC framework ABY (Demmler et al., NDSS’15). (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.119.127.13

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Demmler, D.; Katzenbeisser, S.; Schneider, T.; Schuster, T. and Weinert, C. (2021). Improved Circuit Compilation for Hybrid MPC via Compiler Intermediate Representation. In Proceedings of the 18th International Conference on Security and Cryptography - SECRYPT; ISBN 978-989-758-524-1; ISSN 2184-7711, SciTePress, pages 444-451. DOI: 10.5220/0010540504440451

@conference{secrypt21,
author={Daniel Demmler. and Stefan Katzenbeisser. and Thomas Schneider. and Tom Schuster. and Christian Weinert.},
title={Improved Circuit Compilation for Hybrid MPC via Compiler Intermediate Representation},
booktitle={Proceedings of the 18th International Conference on Security and Cryptography - SECRYPT},
year={2021},
pages={444-451},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010540504440451},
isbn={978-989-758-524-1},
issn={2184-7711},
}

TY - CONF

JO - Proceedings of the 18th International Conference on Security and Cryptography - SECRYPT
TI - Improved Circuit Compilation for Hybrid MPC via Compiler Intermediate Representation
SN - 978-989-758-524-1
IS - 2184-7711
AU - Demmler, D.
AU - Katzenbeisser, S.
AU - Schneider, T.
AU - Schuster, T.
AU - Weinert, C.
PY - 2021
SP - 444
EP - 451
DO - 10.5220/0010540504440451
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic