Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: ABY3 Multiplication and Array ...


view this post on Zulip Email Gateway (Feb 05 2023 at 11:07):

From: Andreas Lochbihler <mail@andreas-lochbihler.de>
ABY3 Multiplication and Array Shuffling
by Shuwei Hu

Abstract:
We formalizes two protocols from a privacy-preserving machine-learning framework based on
ABY3, a particular three-party computation framework where inputs are systematically
‘reshared’ without being considered as privacy leakage. In particular, we consider the
multiplication protocol and the array shuffling protocol, both based on ABY3's additive
secret sharing scheme. We proved their security in the semi-honest setting under the
ideal/real simulation paradigm. These two proof-of-concept opens the door to further
verification of more protocols within the framework.

https://www.isa-afp.org/entries/ABY3_Protocols.html

Enjoy!


Last updated: Apr 25 2024 at 01:08 UTC