Towards Practical Private Internet Routing using...

33
19.06.2018 | TPMPC 2018, Århus | 1 Privacy-preserving interdomain routing at Internet scale (PETS’17) SIXPACK: Securing Internet eXchange Points Against Curious onlooKers (CoNEXT’17) Towards Practical Private Internet Routing using MPC Gilad Asharov (Cornell Tech, US) Marco Canini (KAUST, SA) Marco Chiesa (KTH Stockholm, SE) Daniel Demmler (TU Darmstadt, DE) Michael Schapira (Hebrew University of Jerusalem, IL) Thomas Schneider (TU Darmstadt, DE) Gil Segev (Hebrew University of Jerusalem, IL) Scott Shenker (UC Berkeley, US) Michael Zohner (TU Darmstadt , DE)

Transcript of Towards Practical Private Internet Routing using...

Page 1: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 1

Privacy-preserving interdomain routing at Internet scale (PETS’17)

SIXPACK: Securing Internet eXchange Points Against Curious onlooKers (CoNEXT’17)

Towards Practical Private

Internet Routing using MPC

Gilad Asharov (Cornell Tech, US)

Marco Canini (KAUST, SA)

Marco Chiesa (KTH Stockholm, SE)

Daniel Demmler (TU Darmstadt, DE)

Michael Schapira (Hebrew University of Jerusalem, IL)

Thomas Schneider (TU Darmstadt, DE)

Gil Segev (Hebrew University of Jerusalem, IL)

Scott Shenker (UC Berkeley, US)

Michael Zohner (TU Darmstadt , DE)

Page 2: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 2

MOTIVATION:

BGP AND ROUTING ON THE INTERNET

Page 3: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 3

Motivation

The Border Gateway Protocol (BGP) connects the Internet

• Route computation between ISPs

• Route dispatch at IXPs

Issues with BGP

• Slow convergence

• Privacy

We use MPC to approach these!

Page 4: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 4

Privacy-Preserving Inter-Domain Routing

BGP for computation of inter-domain routes for the Internet

Original Idea [GSP+, Hotnets’12] – Only toy example, impractical runtime

Our Work [ADS+, PETS’17] – Real-world parameters:

>51.000 autonomous systems (domains) with >196.000 connections

Topology from the CAIDA AS relation dataset

We protect the relations between ASes

Customer / Provider or Peering

More generic: Allow routing based on private AS preferences.

Page 5: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 5

Privacy-Preserving Inter-Domain Routing

Centralized approach: faster & privacy issues solved by MPC

2 computational parties (CPs), running our protocol

CPs are semi-honest and non-colluding

Each AS secret-shares his relation info/preferences with the CPs

Page 6: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 6

Privacy-Preserving Inter-Domain Routing

Routing based on relationship between nodes:

Customers pay providers to route traffic

Peers route traffic for free

“Economically driven” routing instead of shortest paths

High-level Neighbor Relation Algorithm:

Plaintext input: Topology, Target AS – Private input: EP-Relations

10 iterations for customer relation hops

1 iteration for peer hops

10 iterations for provider hops

Private output: for every AS the next hop to target AS

0

21

Page 7: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 7

BGP Example – Notation

0

1

gets paid by

Customer

2 3

PeersProvider

Page 8: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 8

BGP Example

0 1

2 3 4 5

6 7 8 9 10 11

12 13 14 15 16 17 18 19

Public network topology

Node 16 is added

Page 9: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 9

BGP Example

0 1

2 3 4 5

6 7 8 9 10 11

12 13 14 15 16 17 18 19

Routes through customers to 16

Page 10: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 10

BGP Example

0 1

2 3 4 5

6 7 8 9 10 11

12 13 14 15 16 17 18 19

Routes through peers to 16

Page 11: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 11

BGP Example

0 1

2 3 4 5

6 7 8 9 10 11

12 13 14 15 16 17 18 19

Routes through providers to 16

Page 12: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 12

Preference-Based Routing

Routing based on export policy and preference between nodes:

ASes decide which routes are published (exported)

ASes have preferences for their neighbors

High-level Neighbor Preference Algorithm:

Plaintext input: Topology, Target AS – Private input: EP - Preferences

21 Iterations:

for all ASes:

for all of the ASes neighbors:

find highest preference neighbor with published route to target

Private output: for every AS next hop to target AS

Page 13: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 13

Privacy-Preserving BGP – Circuit

Algorithm implemented as Boolean circuit evaluated with GMW

• SIMD operations

• 1 Operation for multiple bits in parallel

• Process all nodes in parallel

• Efficient MUX with vector ANDs in GMW

• only 1 OT for 𝑛-bit values

• Tree structure for depth-efficient parallel evaluation

• ASes evaluated in groups of similar degree

Algorithmic optimization: Exclude stub nodes

Page 14: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 14

BGP Stub Nodes

0 1

2 3 4 5

6 7 8 9 10 11

12 13 14 15 16 17 18 19

Stub nodes: Nodes that are only customers, not peers, not providers.

85% of all ASes!

Page 15: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 15

CAIDA BGP Statistics 1998 – 2016

Page 16: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 16

BGP MPC Benchmarks – Internet Topology

Page 17: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 17

BGP MPC Benchmarks – RIR Topology

Page 18: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 18

Possible Deployment

Instantiate one party with a somewhat trustworthy entity:

RIPE, DENIC, NANOG, etc. – often co-located at IXPs

Parallel Execution for fault tolerance / robustness

Software-Defined-Networking for deployment

Page 19: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 19

SIXPACK – PRIVACY-PRESERVING

ROUTE DISPATCHING AT IXPS

[CDCSS, CoNEXT’17]

Page 20: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 20

Internet Exchange Points (IXPs)

Members (ASes) connect to IXP to exchange routing information via BGP.

IXP dispatches routes based on export policies & auxiliary information.

Problem: Export policies & preferences are sensitive business information!

Survey with 119 network operators confirm privacy & control issues.

IXP

Member mA Member mC

Member mB Member mD

Page 21: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 21

SIXPACK

SIXPACK: Securing Internet eXchange Points Against Curious onlooKers.

We split the IXP into (at least) 2 computational parties than run SIXPACK.

Route servers are semi-honest and non-colluding.

IXP

Route

Server 1Member mA Member mC

Route

Server 2Member mB Member mD

Page 22: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 22

SIXPACK: EXPORT-ALL Approach

Dispatch all routes that are allowed by the export policy of Member mA

Page 23: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 23

SIXPACK: SELECT-BEST Approach

Goal: Find a single best route for every member

Based on the private combination of

• Export Policy (as before)

• Local Preference of Members

• Congestion and other Quality of Service info from the IXP

Page 24: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 24

SIXPACK: Implementation

MPC Implementation using the GMW protocol in ABY

Demonstrator in Python that simulates network members and their

route announcements and withdrawals

Simulation based on a network trace from one of the largest IXPs in

the world (750 members, ~10 BGP updates / sec)

Page 25: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 25

SIXPACK: Runtimes

MPC implementation ready for real-time application!

Page 26: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 26

ABY – A FRAMEWORK FOR

IMPLEMENTING MPC PROTOCOLS

[DSZ, NDSS’15]

Page 27: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 27

ABY – A Framework for Efficient Mixed-

Protocol Secure Two-Party Computation

Framework for hybrid secure 2-party computation

Efficient Mixed-Protocol Secure Computation:

Arithmetic Sharing

Boolean Sharing (with the GMW protocol)

Yao‘s Garbled Circuits

Separate Setup Phase (precomputable) and Online Phase

A

B Y

Page 28: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 28

ABY – Development

Idea

Function

A

B Y

OT-Extension

Efficient Garbling

Fast Conversion

Circuit Protocols Optimizations

Page 29: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 29

ABY – The Framework

Open-source C/C++ framework:

encrypto.de/code/ABY

Many recent optimizations included

Abstracts from underlying circuit and protocol details

Many building blocks already included: ADD, MUX, MIN, …

Efficient conversion between protocols, based on OT

Built-in performance analysis

Continuously improved and extended

Page 30: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 30

Outlook

Security against malicious (active) Adversaries

Secure Multi-Party Computation (n>2 parties)

Page 31: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 31

Summary

Privacy-Preserving BGP Route Computation at Internet-scale

Privacy-Preserving Route Dispatching at IXPs at real-world

scale with practical performance

The ABY framework as a tool for implementing MPC protocols

Page 32: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 32

Thanks for your attention!

Questions?

Contact: encrypto.de

Page 33: Towards Practical Private Internet Routing using MPCconferences.au.dk/fileadmin/user_upload/TPMPC18/Daniel_Dammler.pdf · MPC Implementation using the GMW protocol in ABY Demonstrator

19.06.2018 | TPMPC 2018, Århus | 33

References

[ADS+17] – G. Asharov, D. Demmler, M. Schapira, T. Schneider, G. Segev, S. Shenker, and M.

Zohner. Privacy-preserving interdomain routing at Internet scale. Proceedings on Privacy

Enhancing Technologies (PoPETs), 2017(3)

[CDC+17] M. Chiesa, D. Demmler, M. Canini, M. Schapira, and T. Schneider. SIXPACK:

Securing Internet eXchange Points Against Curious onlooKers. In 13. International

Conference on emerging Networking EXperiments and Technologies (CoNEXT'17)

[DSZ15] – D. Demmler, T. Schneider, and M. Zohner. ABY - a framework for efficient mixed-

protocol secure two-party computation. In 22. Annual Network and Distributed System

Security Symposium (NDSS'15)

[GSP+12] D. Gupta, A. Segal, A. Panda, G. Segev, M. Schapira, J. Feigenbaum, J. Rexford,

and S. Shenker. A new approach to interdomain routing based on secure multi-party

computation. In ACM Workshop on Hot Topics in Networks (HotNets’12)