a new approach to
play

A new approach to efficient multi-party computation Carmit Hazay, - PowerPoint PPT Presentation

Feb 19, 2023 •1.25k likes •1.62k views

Tin inyKeys: : A new approach to efficient multi-party computation Carmit Hazay, Emmanuela Orsini, Peter Scholl and Eduardo Soria-Vazquez Motivation Large number of users want to conduct surveys, auctions, statistical analysis, measure

  1. Tin inyKeys: : A new approach to efficient multi-party computation Carmit Hazay, Emmanuela Orsini, Peter Scholl and Eduardo Soria-Vazquez

  2. Motivation Large number of users want to conduct surveys, auctions, statistical analysis, measure network activity, etc. Eduardo Soria-Vazquez 2

  3. MPC setting in this talk Preprocessing corr. rand. a b Online c d Eduardo Soria-Vazquez 3

  4. Corruption thresholds vs communication complexity of f pra ractical MPC Corruptions: Efficiency: Peter Scholl 4

  5. Corruption thresholds vs communication complexity of f practical MPC Corruptions: Efficiency: ??? Can we design concretely efficient MPC protocols where each honest party can be leveraged to increase efficiency? Peter Scholl 5

  6. Our results

  7. In Introducing the Tin inyKeys technique

  8. Warm-up: Distributed Encry ryption 8

  9. Distributed Encry ryption with TinyKeys Eduardo Soria-Vazquez 9

  10. Distributed Encry ryption with TinyKeys 10

  11. Breaking security Eduardo Soria-Vazquez 11

  12. Breaking security Eduardo Soria-Vazquez 12

  13. Breaking security Eduardo Soria-Vazquez 13

  14. Breaking security Eduardo Soria-Vazquez 14

  15. Breaking security Eduardo Soria-Vazquez 15

  16. Breaking security Eduardo Soria-Vazquez 16

  17. Breaking security = y Eduardo Soria-Vazquez 17

  18. Breaking security: Regular Syndrome Decoding y = h blocks e Eduardo Soria-Vazquez 18

  19. Hardness of f Regular Syndrome Decoding [FS09] [Saa07] [MO15] [NCB11] [Kir11] [BM17] [BJMM12] [CJ04] [BLN+09] [BLP08] [MS09] [MMT11] [BLP11] Eduardo Soria-Vazquez 19

  20. TinyKeys: A little honesty goes a l long way (Tiny) GMW (Tiny) BMR OT Eduardo Soria-Vazquez 20

  21. Tiny) GMW (Ti

  22. Quick recap of f GMW P8 P1 P7 P2 P6 1-out-2 Bit OT P3 P5 P4 Eduardo Soria-Vázquez 22

  23. [ I shai K ilian N issim P etrank 03] “IKNP” OT extension with short keys! Shrink the keys! Eduardo Soria-Vazquez 23

  24. Using leaky OT for GMW-style MPC Sharings of zero: Leaky OT Eduardo Soria-Vázquez 24

  25. GMW: Communication compl. (2 (200 parties) 3000 2500 Comm. (bits/AND triple) 2000 Standard [DKSSZZ17] 1500 Committee 1000 TinyKeys 500 0 0 10 20 30 40 50 60 70 80 90 100 # honest parties Eduardo Soria-Vázquez 25

  26. Conclusion and fu future directions Eduardo Soria-Vázquez 26

  27. Thank you! Questions? Paper: https://ia.cr/2017/214 [Full version] TinyKeys: A New Approach to Efficient Multi-Party Computation Carmit Hazay, Emmanuela Orsini, Peter Scholl and Eduardo Soria-Vázquez Mail: eduardo.soria-vazquez@bristol.ac.uk Eduardo Soria-Vázquez 27

  28. [ B eaver M icali R ogaway 90] BMR: Multi-party garbled circuits Shrink the keys! Eduardo Soria-Vázquez

  29. iny) BMR: Some technical challenges (T (Tin • Reusing keys reduces security in regular syndrome decoding • Problem for: • High fan-out • Free-XOR • Solution: • Splitter gates [Tate Xu 03] – can be garbled for free • Free-XOR enabled using different offsets (FleXOR style [CITE]) Eduardo Soria-Vázquez

  30. Thank you! Questions? Paper: https://ia.cr/2017/214 [Full version] TinyKeys: A New Approach to Efficient Multi-Party Computation Carmit Hazay, Emmanuela Orsini, Peter Scholl and Eduardo Soria-Vázquez Mail: eduardo.soria-vazquez@bristol.ac.uk Eduardo Soria-Vázquez 31

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

How has the new approach to How has the new approach to How has the new approach to How has the

How has the new approach to How has the new approach to How has the new approach to How has the

Institute for Global Environmental Strategies Towards sustainable development - policy oriented, practical and strategic research on global environmental issues How has the new approach to How has the new approach to How has the new approach to

313 views • 4 slides
THE TRIAD THE TRIAD APPROACH APPROACH The Triad Approach to make contaminated sites cleanup

THE TRIAD THE TRIAD APPROACH APPROACH The Triad Approach to make contaminated sites cleanup

THE TRIAD THE TRIAD APPROACH APPROACH The Triad Approach to make contaminated sites cleanup projects better and more cost-effective. Case: Complementary laboratory (ICP, etc) and field XRF analysis Drs Ben Keet

411 views • 30 slides
April 2018 1 } HHS 2020 is an transformational approach to the way HHS services and programs are

April 2018 1 } HHS 2020 is an transformational approach to the way HHS services and programs are

April 2018 1 } HHS 2020 is an transformational approach to the way HHS services and programs are delivered } A modular, enterprise-wide approach } Moving from a program-centric approach to a person-centric approach } Changing the approach on

424 views • 16 slides
BBC iPlayer Web's approach BBC iPlayer Web's approach to accessibility to accessibility Emily

BBC iPlayer Web's approach BBC iPlayer Web's approach to accessibility to accessibility Emily

BBC iPlayer Web's approach BBC iPlayer Web's approach to accessibility to accessibility Emily Atkins Andy Smith Software Engineering Team Lead Senior UX Designer @AndyMSUK @Em_Atkins 2 BBC iPlayer Web's approach to accessibility Long-term /

660 views • 64 slides
A SynBio Approach to Translational Medicine SynBio Approach to Translational Medicine

A SynBio Approach to Translational Medicine SynBio Approach to Translational Medicine

A SynBio Approach to Translational Medicine SynBio Approach to Translational Medicine Practices Useful Bedside Responsible Bench New approach Clinic Cystic Fibrosis Common Autosomal Recessive Disorder

750 views • 54 slides
Component-based approach Discovery exercise conducted last year on overall approach to social

Component-based approach Discovery exercise conducted last year on overall approach to social

SS Programme Board 5 - 24/10/2017: Agenda item 5 Paper 5.5 Component-based approach Discovery exercise conducted last year on overall approach to social security This underpins the approach to estimating costs set out in the financial

480 views • 8 slides
Radicalism approach the Hague A chain approach organised for the Hague from the safety house

Radicalism approach the Hague A chain approach organised for the Hague from the safety house

Radicalism approach the Hague A chain approach organised for the Hague from the safety house Programme 1. Local approach IPPR department of municipality the Hague 2. Goals and target group 3. Working method of three consultation methods

248 views • 12 slides
Approach to lung opacities This is hard! You will not be an expert today Approach

Approach to lung opacities This is hard! You will not be an expert today Approach

10/9/2019 Algorithmic Approach to Lung Opacities Brett M. Elicker, MD University of California, San Francisco Approach to lung opacities This is hard! You will not be an expert today Approach Practice Think like a

446 views • 29 slides
Approach to lung opacities This is hard! You will not be an expert today Approach

Approach to lung opacities This is hard! You will not be an expert today Approach

10/12/2018 Algorithmic Approach to Lung Opacities Brett M. Elicker, MD University of California, San Francisco Approach to lung opacities This is hard! You will not be an expert today Approach Practice Think like a

424 views • 38 slides
Policy Adviser The Law Society The Law Society approach The Law Society approach First, a

Policy Adviser The Law Society The Law Society approach The Law Society approach First, a

James Woolf Policy Adviser The Law Society The Law Society approach The Law Society approach First, a little bit of history.... HERMAN OUSELEY Independent Review into Disproportionate Regulatory Outcomes for Black and Minority Ethnic

455 views • 18 slides
What is the Logical Framework Approach? 1 LFA - DEFINITION The logical framework approach is an

What is the Logical Framework Approach? 1 LFA - DEFINITION The logical framework approach is an

Correspondence on The Logical Framework Approach Developed for SNV PARTNERS 14-18 July 2008 Supported by SNV Zimbabwe Compiled by: What is the Logical Framework Approach? 1 LFA - DEFINITION The logical framework approach is an

653 views • 34 slides
Our Approach P rovides a practical, innovative approach for the restoration, preservation and

Our Approach P rovides a practical, innovative approach for the restoration, preservation and

Our Approach P rovides a practical, innovative approach for the restoration, preservation and maintenance of reinforced concrete structures, steel rust inhibitors and asphalt rejuvenator solutions.. Through the use of proprietary technology

720 views • 61 slides
The 3D approach and counterinsurgency A mix of defence, diplomacy and development The case of

The 3D approach and counterinsurgency A mix of defence, diplomacy and development The case of

The 3D approach and counterinsurgency A mix of defence, diplomacy and development The case of Uruzgan Capt Mirjam Grandia Social/Academic relevance of the study Comprehensive approach, 3D approach, three block warfare; old theories in new

424 views • 28 slides
Greater Manchester Cricket A Structured Approach A Structured Approach Introductions John

Greater Manchester Cricket A Structured Approach A Structured Approach Introductions John

Greater Manchester Cricket A Structured Approach A Structured Approach Introductions John Eady Bobby Denning Martin Kay Mike Hall Colleagues from Leicestershire Cricket Board A Structured Approach Agenda for the day 09.15

446 views • 30 slides
Moorlands Children & Family Approach (Pilot) Moorlands Approach 1. Targeted work in Leek

Moorlands Children & Family Approach (Pilot) Moorlands Approach 1. Targeted work in Leek

Moorlands Children & Family Approach (Pilot) Moorlands Approach 1. Targeted work in Leek North 2. Early intervention and prevention approach using BRFC techniques. 3. Further work with Room 21 4. Community resilience building via

312 views • 6 slides
Preliminary valuation approach 1. . Lis isted peers approach 1.1. Selection of peers and

Preliminary valuation approach 1. . Lis isted peers approach 1.1. Selection of peers and

Preliminary valuation approach 1. . Lis isted peers approach 1.1. Selection of peers and financial information LVMH (M) Market cap 175 978 December 2016 2017 2018 2019 2020 2021 Swatch to be looked upon as a luxury Sales 53

488 views • 3 slides
Model Checking with Maximal Causality Reduction Jeff Huang Assistant Professor A Real Bug

Model Checking with Maximal Causality Reduction Jeff Huang Assistant Professor A Real Bug

Model Checking with Maximal Causality Reduction Jeff Huang Assistant Professor A Real Bug $12 million loss of equipment

823 views • 71 slides
SAT-based verification (BMC, temporal induction) Mary Sheeran, Chalmers SAT-based verification

SAT-based verification (BMC, temporal induction) Mary Sheeran, Chalmers SAT-based verification

SAT-based verification (BMC, temporal induction) Mary Sheeran, Chalmers SAT-based verification now hot Used here in Sweden since 1989 mostly in safety critical applications (railway control program verification) Bounded Model Checking a

468 views • 25 slides
SMT-Based Bounded Model Checking for Embedded ANSI-C Software for Embedded ANSI-C Software

SMT-Based Bounded Model Checking for Embedded ANSI-C Software for Embedded ANSI-C Software

SMT-Based Bounded Model Checking for Embedded ANSI-C Software for Embedded ANSI-C Software Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva b.fischer@ecs.soton.ac.uk Bounded Model Checking (BMC) Basic Idea: check negation of given property

957 views • 33 slides
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model

Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model

Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking Iury V. Bessa , Hussama I. Ibrahim, Lucas C. Cordeiro, and Joo E. C. Filho iurybessa@ufam.edu.br Motivation Controllers DCVerifier

563 views • 52 slides
TinyKeys: A New Approach to Efficient Multi-Party Computation Carmit Hazay , Emmanuela Orsini,

TinyKeys: A New Approach to Efficient Multi-Party Computation Carmit Hazay , Emmanuela Orsini,

TinyKeys: A New Approach to Efficient Multi-Party Computation Carmit Hazay , Emmanuela Orsini, Peter Scholl and Eduardo Soria-Vazquez Based on slides prepared by Peter Scholl and Eduardo Soria-Vazquez Secure Multi-Party Computation (MPC)

756 views • 36 slides
Drago Rotaru and Tim Wood University of Bristol, KU Leuven * https://ia.cr/2019/207 Drago

Drago Rotaru and Tim Wood University of Bristol, KU Leuven * https://ia.cr/2019/207 Drago

INDOCRYPT 2019 MArBled Circuits: Mixing Arithmetic and Boolean Circuits with Active Security* Drago Rotaru and Tim Wood University of Bristol, KU Leuven * https://ia.cr/2019/207 Drago Rotaru 1 imec-Cosic, Dept. Electrical Engineering What

758 views • 60 slides
A universal MPC machine* Drago Rotaru University of Bristol, KU Leuven *MArBled Circuits:

A universal MPC machine* Drago Rotaru University of Bristol, KU Leuven *MArBled Circuits:

DIMACS Workshop 2019 A universal MPC machine* Drago Rotaru University of Bristol, KU Leuven *MArBled Circuits: Mixing Arithmetic and Boolean Circuits with Active Security; Joint work with Tim Wood. https://ia.cr/2019/207 Drago

685 views • 49 slides
Order Recursion Introduction Introduction Rc = d Order versus Time Updates There are

Order Recursion Introduction Introduction Rc = d Order versus Time Updates There are

Order Recursion Introduction Introduction Rc = d Order versus Time Updates There are many ways to solve the normal equations Matrix Inversion by Partitioning Lemma Solutions are mathematically equivalent Levinson Algorithm

99 views • 7 slides

More recommend