tor and (un)provable privacy39 attacks on tor pretty much any tor bug seems to turn into an...

52
1 Tor and (un)provable privacy Roger Dingledine The Tor Project https://torproject.org/

Upload: others

Post on 03-Oct-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

1

Tor and (un)provable privacy

Roger DingledineThe Tor Project

https://torproject.org/

Page 2: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

2

Today's plan

● 0) Crash course on Tor● 1) Anonymity attacks● 2) Blocking-resistance

Page 3: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

3

What is Tor?

Online anonymity 1) open source software, 2) network, 3) protocolCommunity of researchers, developers, users, and relay operatorsFunding from US DoD, Electronic Frontier Foundation, Voice of America, Google, NLnet, Human Rights Watch, NSF, US State Dept, SIDA, ...

Page 4: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

4

U.S. 501(c)(3) non-profit organization dedicated to the research and development of tools for online anonymity and privacy

The Tor Project, Inc.

Page 5: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

5

Estimated ~400,000? daily Tor users

Page 6: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

6

Threat model:what can the attacker do?

AliceAnonymity network Bob

watch (or be!) Bob!

watch Alice!

Control part of the network!

Page 7: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

7

Anonymity isn't encryption: Encryption just protects contents.

Alice

Bob

“Hi, Bob!”“Hi, Bob!” <gibberish>

attacker

Page 8: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

8

Anonymity isn't just wishful thinking...“You can't prove it was me!”

“Promise you won't look!”

“Promise you won't remember!”

“Promise you won't tell!”

“I didn't write my name on it!”

“Isn't the Internet already anonymous?”

Page 9: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

9

Anonymity serves different interests for different user groups.

Anonymity

Private citizens“It's privacy!”

Page 10: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

10

Anonymity serves different interests for different user groups.

Anonymity

Private citizens

Businesses

“It's network security!”

“It's privacy!”

Page 11: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

11

Anonymity serves different interests for different user groups.

Anonymity

Private citizens

Governments Businesses

“It's traffic-analysisresistance!”

“It's network security!”

“It's privacy!”

Page 12: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

12

Anonymity serves different interests for different user groups.

Anonymity

Private citizens

Governments Businesses

“It's traffic-analysisresistance!”

“It's network security!”

“It's privacy!”

Human rightsactivists

“It's reachability!”

Page 13: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

13

The simplest designs use a single relay to hide connections.

Bob2

Bob1

Bob3

Alice2

Alice1

Alice3

Relay

E(Bob3,“X”)

E(Bob1, “Y”)

E(Bob2, “Z”)

“Y”

“Z”

“X”

(example: some commercial proxy providers)

Page 14: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

14

But a single relay (or eavesdropper!) is a single point of failure.

Bob2

Bob1

Bob3

Alice2

Alice1

Alice3

EvilRelay

E(Bob3,“X”)

E(Bob1, “Y”)

E(Bob2, “Z”)

“Y”

“Z”

“X”

Page 15: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

15

... or a single point of bypass.

Bob2

Bob1

Bob3

Alice2

Alice1

Alice3

IrrelevantRelay

E(Bob3,“X”)

E(Bob1, “Y”)

E(Bob2, “Z”)

“Y”

“Z”

“X”

Timing analysis bridges all connections through relay ⇒ An attractive fat target

Page 16: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

16

So, add multiple relays so thatno single one can betray Alice.

BobAlice

R1

R2

R3

R4 R5

Page 17: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

17

A corrupt first hop can tell that Alice is talking, but not to whom.

BobAlice

R1

R2

R3

R4 R5

Page 18: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

18

A corrupt final hop can tell that somebody is talking to Bob,

but not who.BobAlice

R1

R2

R3

R4 R5

Page 19: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

19

Alice makes a session key with R1...And then tunnels to R2...and to R3

BobAlice

R1

R2

R3

R4 R5

Bob2

Page 20: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

20

Page 21: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

21

Page 22: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

22

Today's plan

● 0) Crash course on Tor● 1) Anonymity attacks● 2) Blocking-resistance

Page 23: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

23

Operational attacks

● You need to use https – correctly.● Don't use Flash.● Who runs the relays?● What local traces does Tor leave on the

system?● ...Different talk.

Page 24: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

24

Traffic confirmation

● If you can see the flow into Tor and the flow out of Tor, simple math lets you correlate them.

● Feamster's AS-level attack (2004), Edman's followup (2009), Murdoch's sampled traffic analysis attack (2007).

Page 25: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

25

Countermeasures?

● Defensive dropping (2004)? Adaptive padding (2006)?

● Traffic morphing (2009), Johnson (2010)● Tagging attack, traffic watermarking

Page 26: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

26

Congestion attacks (1)

● Murdoch-Danezis attack (2005) sent constant traffic through every relay, and when Alice made her connection, looked for a traffic bump in three relays.

● Couldn't identify Alice – just the relays she picked.

Page 27: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

27

Congestion attacks (2)

● Hopper et al (2007) extended this to (maybe) locate Alice based on latency.

● Chakravarty et al (2008) extended this to (maybe) locate Alice via bandwidth tests.

● Evans et al (2009) showed the original attack doesn't work anymore (too many relays, too much noise) – but “infinite length circuit” makes it work again?

Page 28: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

28

Throughput fingerprinting

● Mittal et al, CCS 2011● Build a test path through the network.

See if you picked the same bottleneck node as Alice picked.

Page 29: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

29

Anonymity / load balancing

● Give more load to fast relays, but less anonymity

● Client-side network observations, like circuit-build-timeout or congestion-aware path selection

Page 30: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

30

Bandwidth measurement

● Bauer et al (WPES 2009)● Clients used the bandwidth as reported

by the relay● So you could sign up tiny relays, claim

huge bandwidth, and get lots of traffic● Fix is active measurement.

(Centralized vs distributed?)

Page 31: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

31

Tor gives three anonymity properties

● #1: A local network attacker can't learn, or influence, your destination.

● #2: No single router can link you to your destination.

● #3: The destination, or somebody watching it, can't learn your location.

Page 32: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

32

Tor's safety comes from diversity

● #1: Diversity of relays. The more relays we have and the more diverse they, the fewer attackers are in a position to do traffic confirmation.

● #2: Diversity of users and reasons to use it. 60000 users in Iran means almost all of them are normal citizens.

Page 33: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

33

Long-term passive attacks

● Matt Wright's predecessor attack● Overlier and Syverson, Oakland 2006● The more circuits you make, the more

likely one of them is bad● The fix: guard relays● But: guard churn so old guards don't

accrue too many users

Page 34: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

34

Website fingerprinting

● If you can see an SSL-encrypted link, you can guess what web page is inside it based on size.

● Does this attack work on Tor? Open-world vs closed-world analysis.

● Considering multiple pages (e.g. via hidden Markov models) would probably make the attack even more effective.

Page 35: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

35

Denial of service as denial of anonymity

● Borisov et al, CCS 2007● If you can't win against a circuit, kill it

and see if you win the next one● Guard relays also a good answer here.

Page 36: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

36

Epistemic attacks on route selection

● Danezis/Syverson (PET 2008)● If the list of relays gets big enough, we'd

be tempted to give people random subsets of the relay list

● But, partitioning attacks● Anonymous lookup? DHT? PIR?

Page 37: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

37

Profiling at exit relays

● Tor reuses the same circuit for 10 minutes before rotating to a new one.

● (It used to be 30 seconds, but that put too much CPU load on the relays.)

● If one of your connections identifies you, then the rest lose too.

● What's the right algorithm for allocating connections to circuits safely?

Page 38: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

38

Declining to extend

● Tor's directory system prevents an attacker from spoofing the whole Tor network.

● But your first hop can still say “sorry, that relay isn't up. Try again.”

● Or your local network can restrict connections so you only reach relays they like.

Page 39: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

39

Attacks on Tor● Pretty much any Tor bug seems to turn

into an anonymity attack. ● Many of the hard research problems are

attacks against all low-latency anonymity systems. Tor is still the best that we know of – other than not communicating.

● People find things because of the openness and thoroughness of our design, spec, and code. We'd love to hear from you.

Page 40: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

40

Today's plan

● 0) Crash course on Tor● 1) Anonymity attacks● 2) Blocking-resistance

Page 41: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

41

Attackers can block users from connecting to the Tor network

1) By blocking the directory authorities2) By blocking all the relay IP addresses in the directory, or the addresses of other Tor services3) By filtering based on Tor's network fingerprint4) By preventing users from finding the Tor software (usually by blocking website)

Page 42: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

42

Relay versus Discovery

There are two pieces to all these “proxying” schemes:

a relay component: building circuits, sending traffic over them, getting the crypto right

a discovery component: learning what relays are available

Page 43: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

43

The basic Tor design uses a simple centralized directory protocol.

S2

S1Alice

Trusted directory

Trusted directory

S3

cache

cache

Servers publishself-signeddescriptors.

Authoritiespublish a consensuslist of all descriptors

Alice downloadsconsensus anddescriptors fromanywhere

Page 44: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

44

R4

R2

R1

R3

Bob

Alice

Alice

Alice

Alice

Alice

BlockedUser

BlockedUser

BlockedUser

BlockedUser

BlockedUser

Alice

AliceAlice

Alice

Alice

Alice

Alice

Alice

AliceAlice

Page 45: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

45

How do you find a bridge?

1) https://bridges.torproject.org/ will tell you a few based on time and your IP address

2) Mail [email protected] from a gmail address and we'll send you a few

3) I mail some to a friend in Shanghai who distributes them via his social network

4) You can set up your own private bridge and tell your target users directly

Page 46: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

46

Ways to find bridges (1)● 1) Overwhelm the public address

distribution strategies● 2) Run a non-guard non-exit relay and look

for connections from non-relays.● 3) Run a guard relay and look for protocol

differences● 4) Run a guard relay and do timing analysis● 5) Run a relay and probe clients as they

connect to you

Page 47: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

47

Ways to find bridges (2)● 6) Scan the Internet for things that talk Tor● 7) Break into Tor Project infrastructure (or

break the developers)● 8) Watch the bridge authority do its

reachability tests● 9) Watch your border firewall and DPI for

Tor flows● 10) Zig-zag between bridges and users

Page 48: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

48

Page 49: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

49

Pluggable transports

● In Feb 2012, Iran DPIed for all SSL flows and cut them

● No more gmail, facebook, etc etc● Pluggable transports

● Obfsproxy● SkypeMorph● StegoTorus

● Need “obfuscation” metrics?

Page 50: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

50

Page 51: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

51

Only a piece of the puzzleAssume the users aren't attacked by their hardware and softwareNo spyware installed, no cameras watching their screens, etcUsers can fetch a genuine copy of Tor?

Page 52: Tor and (un)provable privacy39 Attacks on Tor Pretty much any Tor bug seems to turn into an anonymity attack. Many of the hard research problems are attacks against all low-latency

52