1 do i know you? efficient, privacy-preserving protocols for finding common friends marcin nagy,...

26
1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro, Alexandra Dmitrienko, N. Asokan, Ahmad-Reza Sadeghi) 12 th December 2013

Upload: arjun-allender

Post on 01-Apr-2015

213 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

1

Do I Know You?Efficient, Privacy-Preserving Protocols for Finding Common Friends

Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro, Alexandra Dmitrienko, N. Asokan, Ahmad-Reza Sadeghi)

12th December 2013

Page 2: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Problem

How can you find if you have common friends with someone (nearby)?

… in a privacy-preserving way

2

Page 3: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Applications

• Intuitive means for specifying access control– Ride sharing– Tethering Internet access– ...

• Information– Friend radar

• ...

3

Page 4: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Requirements

• privacy:

– no more info. to participants than about common friends

– no additional info. to anybody else (e.g., FourSquare)

• authenticity:

– no false claims of friendship

• efficiency:

– applicable for mobile usage

– minimize expensive crypto operations

4

Page 5: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Outline

• Current approaches

• Our approach: using Bloom Filters

• “Common Friends” framework

5

Page 6: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Outline

• Current approaches

• Our approach: using Bloom Filters

• “Common Friends” framework

• Using bloom Filters• “Common Friends” framework

6

Page 7: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Using a trusted server

• FourSquare, Tencent, ...

I am at <x,y>I am at <x,y>

7

Bob Angela

Page 8: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Using a trusted server• FourSquare, Tencent, …

User Location

Angela (x,y)

Bob (x,y)

... ...

Who is near me?

“Angela”

Privacy

Authenticity

Efficiency

8

Angela Bob

Page 9: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Private Set Intersection Protocols

PSI

Input set SI

I R

Input set SR

SI SR

PSI-CA

Input set SI

I R

Input set SR

|SI SR|

Secure in the honest-but-curious modelO(|SI|+|SR|) modular exponentiations

9

[De Cristofaro et al, FC’10, Asiacrypt ’10, CANS’12]

Initiator

Initiator

Responder

Responder

Page 10: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

PSI

Finding Common Friends using PSI naively

Friend ID

Anna

Carol

...

Friend ID

Carol

David

...

“Carol”

Privacy ?

Authenticity

Efficiency

10

Bob Angela

Page 11: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Finding Common Friends using PSI with capabilities1. Distribute (short-lived) bearer capability to friends

2. Private Set Intersection on capability sets to find common friends

PSI

Social Network

User Capability

Angela xx

Bob xx

... ...

Privacy

Authenticity

Efficiency

[PeerShare, Nagy et. al., NordSec 2013 ] 11

Page 12: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Other approaches

• Authorized PSI– Input from one side (R), authorized by a trusted (off-line) CA– O(n) modular exponentiations in the size of the input sets

• Private discovery of common social contacts– Friendship certificates exchanged ahead of time– O(n) modular exponentiations in the size of the input sets

Privacy

Authenticity

Efficiency

12

[De Cristofaro et. al., ACNS’11]

[De Cristofaro et. al., Asiacrypt’10]

Page 13: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Outline

framework

13

• Current approaches

• Our approach: using Bloom Filters

• “Common Friends” framework

• Using bloom Filters• “Common Friends” framework

Page 14: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Can we build a faster “PSI”?

• Why are classic PSIs slow? • Designed to work even when input sets are enumerable

– i.e., elements are predictable

• Naive hash-each-element approach fast, but insecure for enumerable input sets

• However, bearer capabilities are random– Hash-each-element approach is safe– Still O(n) communication complexity

• Idea: use a Bloom Filter to represent input set

14

Page 15: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

What is Bloom Filter?

Efficient data structure used for testing if an element is in the input set

15

Inserting

Testing

Source: Wikipedia

Page 16: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

insert elements into BF

check each elements for presence in BF

BF

BFPSI Protocol

16

Privacy

Authenticity

Efficiency

Not a replacement for PSI in general!

Initiator I Responder R

Channel binding

Secure channel establishment

False positives removale.g., challenge-response

Man-in-the-middle

False positives

Insecure channel

Challenges

Page 17: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

cset,rrand,ckey

irand,rset

)rinsert(.BF:Rr jIIj

160R }1,0{ckey

IBF

Initiator I Responder RInputs:SKI,PKI,RI

Inputs:SKR,PKR,RR

SKI, PKI SKR, PKR

PKR, KIR PKI, KIR

DH-KeyExchange

Rkk

RIkR

R)c,ID(

PKPKcR

s.t.

)rcontains(.BF

RrX

I

R s.t.

160R }1,0{rrand

160R }1,0{irand

)rrand,irand(rkey KDF

)rrand,irand(rkey KDF

Ijj

RIj

IR)c,ID(

PKPKcR

s.t.

Channel binding

Challenge/response to remove false positives

Secure channel

Bloom Filter

Page 18: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Beyond honest-but-curious model

Capability grants authority to anyone who possesses it

How to defend against capability loss/theft?• Use “friendship certificates”

– distributed the same way as capabilities are– still O(1) exponentiations in size of the input set

18

Page 19: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Comparison: execution time

average of 30 runs19

Page 20: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Comparison: power consumption

PSI-CA (5 runs)BFPSI (5 runs)

20

Page 21: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Outline

• Current approaches• Using bloom Filters

21

• Current approaches

• Using Bloom Filters

• “Common Friends” framework

• Using bloom Filters

skip to summary

Page 22: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

22

Common Friends Service

App

Set up channel

PKIIReq

accepted/rejectedStartResponder(IReq)

RResRRes

StartInitiator(RRes)

IResIRes

Process(IRes)

GetPublicKey

ResultContainer

M ProcessContainer(M)

ResultContainerM

ProcessContainer(M)

getResult getResult

Result, KIR

Responder device Initiator device

Result, KIR

Initialize PSI state machine indicated by type

Initialize PSI state machine indicated by type

ResultContainerOptional(possibly repeated

many times)

Inputs:SKR,PKR,RR

Common Friends Service

App

Inputs:SKI,PKI,RI

Page 23: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

“Common Friends” Framework• Abstract interface

– PSI schemes can be plugged in (currently PSI-CA and BFPSI)

• Used in:

• Easily re-usable by other apps• Source code available on request

TetheringApp nearbyPeople

23

Page 24: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Next steps

• Bloom Filter based PSI-CA?• Finding other common attributes?• ...

24

Page 25: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Summary• A new, fast “PSI” based on bearer capabilities• Privacy and Authenticity guaranteed• False positives removed• Massive performance gain: O(1) vs. O(n)• A re-usable framework• An example of leveraging social networks to

improve security/privacy/usability

25

Page 26: 1 Do I Know You? Efficient, Privacy-Preserving Protocols for Finding Common Friends Marcin Nagy, Aalto University (joint work with Emiliano De Cristofaro,

Thank you!

Questions?

26