Building Incentives Into Tor
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Security Applications of Formal Language Theory
Dartmouth College Dartmouth Digital Commons Computer Science Technical Reports Computer Science 11-25-2011 Security Applications of Formal Language Theory Len Sassaman Dartmouth College Meredith L. Patterson Dartmouth College Sergey Bratus Dartmouth College Michael E. Locasto Dartmouth College Anna Shubina Dartmouth College Follow this and additional works at: https://digitalcommons.dartmouth.edu/cs_tr Part of the Computer Sciences Commons Dartmouth Digital Commons Citation Sassaman, Len; Patterson, Meredith L.; Bratus, Sergey; Locasto, Michael E.; and Shubina, Anna, "Security Applications of Formal Language Theory" (2011). Computer Science Technical Report TR2011-709. https://digitalcommons.dartmouth.edu/cs_tr/335 This Technical Report is brought to you for free and open access by the Computer Science at Dartmouth Digital Commons. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Dartmouth Digital Commons. For more information, please contact [email protected]. Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina November 25, 2011 Abstract We present an approach to improving the security of complex, composed systems based on formal language theory, and show how this approach leads to advances in input validation, security modeling, attack surface reduction, and ultimately, software design and programming methodology. We cite examples based on real-world security flaws in common protocols representing different classes of protocol complexity. We also introduce a formalization of an exploit development technique, the parse tree differential attack, made possible by our conception of the role of formal grammars in security. These insights make possible future advances in software auditing techniques applicable to static and dynamic binary analysis, fuzzing, and general reverse-engineering and exploit development. -
Threat Modeling and Circumvention of Internet Censorship by David Fifield
Threat modeling and circumvention of Internet censorship By David Fifield A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Computer Science in the Graduate Division of the University of California, Berkeley Committee in charge: Professor J.D. Tygar, Chair Professor Deirdre Mulligan Professor Vern Paxson Fall 2017 1 Abstract Threat modeling and circumvention of Internet censorship by David Fifield Doctor of Philosophy in Computer Science University of California, Berkeley Professor J.D. Tygar, Chair Research on Internet censorship is hampered by poor models of censor behavior. Censor models guide the development of circumvention systems, so it is important to get them right. A censor model should be understood not just as a set of capabilities|such as the ability to monitor network traffic—but as a set of priorities constrained by resource limitations. My research addresses the twin themes of modeling and circumvention. With a grounding in empirical research, I build up an abstract model of the circumvention problem and examine how to adapt it to concrete censorship challenges. I describe the results of experiments on censors that probe their strengths and weaknesses; specifically, on the subject of active probing to discover proxy servers, and on delays in their reaction to changes in circumvention. I present two circumvention designs: domain fronting, which derives its resistance to blocking from the censor's reluctance to block other useful services; and Snowflake, based on quickly changing peer-to-peer proxy servers. I hope to change the perception that the circumvention problem is a cat-and-mouse game that affords only incremental and temporary advancements. -
Tor: the Second-Generation Onion Router (2014 DRAFT V1)
Tor: The Second-Generation Onion Router (2014 DRAFT v1) Roger Dingledine Nick Mathewson Steven Murdoch The Free Haven Project The Free Haven Project Computer Laboratory [email protected] [email protected] University of Cambridge [email protected] Paul Syverson Naval Research Lab [email protected] Abstract Perfect forward secrecy: In the original Onion Routing We present Tor, a circuit-based low-latency anonymous com- design, a single hostile node could record traffic and later munication service. This Onion Routing system addresses compromise successive nodes in the circuit and force them limitations in the earlier design by adding perfect forward se- to decrypt it. Rather than using a single multiply encrypted crecy, congestion control, directory servers, integrity check- data structure (an onion) to lay each circuit, Tor now uses an ing, configurable exit policies, anticensorship features, guard incremental or telescoping path-building design, where the nodes, application- and user-selectable stream isolation, and a initiator negotiates session keys with each successive hop in practical design for location-hidden services via rendezvous the circuit. Once these keys are deleted, subsequently com- points. Tor is deployed on the real-world Internet, requires promised nodes cannot decrypt old traffic. As a side benefit, no special privileges or kernel modifications, requires little onion replay detection is no longer necessary, and the process synchronization or coordination between nodes, and provides of building circuits is more reliable, since the initiator knows a reasonable tradeoff between anonymity, usability, and ef- when a hop fails and can then try extending to a new node. -
Tor: a Quick Overview
Tor: a quick overview Roger Dingledine The Tor Project https://torproject.org/ 1 What is Tor? Online anonymity 1) open source software, 2) network, 3) protocol Community of researchers, developers, users, and relay operators Funding from US DoD, Electronic Frontier Foundation, Voice of America, Google, NLnet, Human Rights Watch, NSF, US State Dept, SIDA, Knight Foundation, ... 2 The Tor Project, Inc. 501(c)(3) non-profit organization dedicated to the research and development of tools for online anonymity and privacy 3 Estimated 600,000? daily Tor users 4 Threat model: what can the attacker do? Alice Anonymity network Bob watch Alice! watch (or be!) Bob! Control part of the network! 5 Anonymity isn't encryption: Encryption just protects contents. “Hi, Bob!” “Hi, Bob!” Alice <gibberish> attacker Bob 6 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?” 7 Anonymity serves different interests for different user groups. Anonymity “It's privacy!” Private citizens 8 Anonymity serves different interests for different user groups. Anonymity Businesses “It's network security!” “It's privacy!” Private citizens 9 Anonymity serves different interests for different user groups. “It's traffic-analysis resistance!” Governments Anonymity Businesses “It's network security!” “It's privacy!” Private citizens 10 Anonymity serves different interests for different user groups. Human rights “It's reachability!” “It's traffic-analysis activists resistance!” Governments Anonymity Businesses “It's network security!” “It's privacy!” Private citizens 11 Regular citizens don't want to be watched and tracked. -
Monitoring the Dark Web and Securing Onion Services
City University of New York (CUNY) CUNY Academic Works Publications and Research Queensborough Community College 2017 Monitoring the Dark Web and Securing Onion Services John Schriner CUNY Queensborough Community College How does access to this work benefit ou?y Let us know! More information about this work at: https://academicworks.cuny.edu/qb_pubs/41 Discover additional works at: https://academicworks.cuny.edu This work is made publicly available by the City University of New York (CUNY). Contact: [email protected] Monitoring the Dark Web Schriner 1 John Schriner Monitoring the Dark Web Contrary to what one may expect to read with a title like Monitoring the Dark Web, this paper will focus less on how law enforcement works to monitor hidden web sites and services and focus more on how academics and researchers monitor this realm. The paper is divided into three parts: Part One discusses Tor research and how onion services work; Part Two discusses tools that researchers use to monitor the dark web; Part Three tackles the technological, ethical, and social interests at play in securing the dark web. Part One: Tor is Research-Driven Tor (an acronym for 'the onion router' now stylized simply 'Tor') is an anonymity network in which a user of the Tor Browser connects to a website via three hops: a guard node, a middle relay, and an exit node. The connection is encrypted with three layers, stripping a layer at each hop towards its destination server. No single node has the full picture of the connection along the circuit: the guard knows only your IP but not where the destination is; the middle node knows the guard and the exit node; the exit node knows only the middle node and the final destination. -
Technical and Legal Overview of the Tor Anonymity Network
Emin Çalışkan, Tomáš Minárik, Anna-Maria Osula Technical and Legal Overview of the Tor Anonymity Network Tallinn 2015 This publication is a product of the NATO Cooperative Cyber Defence Centre of Excellence (the Centre). It does not necessarily reflect the policy or the opinion of the Centre or NATO. The Centre may not be held responsible for any loss or harm arising from the use of information contained in this publication and is not responsible for the content of the external sources, including external websites referenced in this publication. Digital or hard copies of this publication may be produced for internal use within NATO and for personal or educational use when for non- profit and non-commercial purpose, provided that copies bear a full citation. www.ccdcoe.org [email protected] 1 Technical and Legal Overview of the Tor Anonymity Network 1. Introduction .................................................................................................................................... 3 2. Tor and Internet Filtering Circumvention ....................................................................................... 4 2.1. Technical Methods .................................................................................................................. 4 2.1.1. Proxy ................................................................................................................................ 4 2.1.2. Tunnelling/Virtual Private Networks ............................................................................... 5 -
Privacy Enhancing Technologies for the Internet III: Ten Years Later
Privacy Enhancing Technologies for the Internet III: Ten Years Later Ian Goldberg David R. Cheriton School of Computer Science University of Waterloo Waterloo, ON [email protected] 1 Introduction In 1997 with Wagner and Brewer, and again in 2002, we looked at the then-current state of privacy-enhancing technologies (PETs) for the Internet. [27, 26] Now, in 2007, we take a third look. Technologies to help users maintain their privacy online are as important today as ever before—if not more so. Identity theft is the fastest-growing crime in the US today [47] and it is all too easy for would-be identity thieves to harvest personal information from the online trails Internet users leave every day. Losses of large databases of personal information are an almost daily occurrence [2]; for example, retailers’ servers are penetrated [44], databases are traded between government and private companies [36] and laptops containing social security numbers are stolen [35]. In 1997, we discussed the dossier effect: all available information about a person gets cross-referenced, and the resulting dossier ends up being used for many purposes, lawful and not. This practice has expanded over the years; the companies that compile and sell these dossiers are known as data brokers. Choicepoint is a prime example—in 2005, this data broker sold dossiers on over 150,000 Americans to a group of criminals. [10] The PETs we discuss here give people a way to control how much of their personal information is revealed when they use the Internet. By controlling the spread of this information, they can limit the size of the data brokers’ dossiers about them. -
Changing of the Guards: a Framework for Understanding and Improving Entry Guard Selection in Tor
Changing of the Guards: A Framework for Understanding and Improving Entry Guard Selection in Tor Tariq Elahi†, Kevin Bauer†, Mashael AlSabah†, Roger Dingledine‡, Ian Goldberg† †University of Waterloo ‡The Tor Project, Inc. †{mtelahi,k4bauer,malsabah,iang}@cs.uwaterloo.ca ‡[email protected] ABSTRACT users. Dingledine [8] formalizes the open issues related to Tor’s Tor is the most popular low-latency anonymity network currently entry guard design, which are paraphrased below: available, protecting the privacy of hundreds of thousands of peo- • Quantify the vulnerability due to natural guard churn, which ple every day. To ensure a high level of security against certain is the added client compromise due to guard nodes going off- attacks, Tor currently utilizes special nodes called entry guards as line. each client’s long-term entry point into the anonymity network. • Quantify the client compromise rates at different amounts of While the use of entry guards provides clear and well-studied secu- adversarial bandwidth in the network. rity benefits, it is unclear how well the current entry guard design • Quantify the vulnerability due to guard rotation and compare achieves its security goals in practice. with natural churn. Which of these is the dominant contrib- We design and implement Changing of the Guards (COGS), a utor to client compromise? Also, how does varying the rota- simulation-based research framework to study Tor’s entry guard de- tion periods affect the compromise rates? sign. Using COGS, we empirically demonstrate that natural, short- • Quantify the compromise effects of different numbers of guards. term entry guard churn and explicit time-based entry guard rotation While analysis [13] provides evidence of security benefits and there contribute to clients using more entry guards than they should, and is a consensus within the Tor community that entry guards provide thus increase the likelihood of profiling attacks. -
Identifying and Reducing Usability Issues in Anonymity Systems
Why Johnny Can’t Blow the Whistle: Identifying and Reducing Usability Issues in Anonymity Systems Greg Norcie Jim Blythe Kelly Caine L Jean Camp Indiana University Information Sciences Institute Clemson University Indiana University [email protected] [email protected] [email protected] [email protected] Abstract—Tor is one of the most widely used anonymity Tor uses onion routing [24] to prevent third parties from networks in the world. The anonymity provided to any individual observing or transparently interjecting themselves into a user’s Tor user is a function of the total number of Tor users. Adoption web activity. The term “onion routing” refers to Tor’s layered of anonymity tools, including Tor, can be hindered by a lack of usability. Therefore, enhancing Tor’s usability and making it encryption, analogous to the layers in an onion, which prevents easier for more people to use Tor successfully increases security third parties (including Tor nodes) from observing the content for all Tor users. To enhance Tor usability we begin by identifying of packets in transit. Tor also prevents the linkage of the source stop-points which may act as barriers to using the Tor Browser and destination of any packet in the Tor network. Of course, Bundle (TBB). We suggest changes based on our analysis of there are attacks that threaten privacy even when using Tor, these stop-points. To follow through, in our second study we test whether the changes we recommended to the Tor Project are including subversion via control of malicious nodes and timing effective in increasing usability, and find a significant decrease attacks. -
The Onion Router and the Darkweb
The Onion Router and the Darkweb Corianna Jacoby Mentor: Ming Chow December 15, 2016 1 Abstract The Onion Project is a service that provides anonymized access to the Internet and the onion darknet primarily through obfuscation. It has created a network to route requests through which allows it to obfuscate users when accessing surface websites as well as allowing users to create sites on its darknet which cannot be traced back to the host machine. The darknet is used for a myriad of reasons, some mundane, some criminal, and some protection-based. This paper seeks to provide introductory knowledge about the workings of Tor as well as some of its vulnerabilities. 2 Introduction Tor provides two services, private and anonymous connections to the Internet and hidden services. Hidden services are websites that are anonymous, like its users. This means that the servers that run the website are hidden and the owner can remain anonymous. These sites can only be found using Tor and end in ‘.onion’ instead of ‘.com’ or an equivalent. These sites, because they can only be accessed through Tor, are considered to be a darknet, which is commonly defined as a suite of hidden internet services that require a specific protocol for access. Other protocols provide access to other darknets. Darknets make up the dark web, which is in turn a small portion of the deep web. The deep web refers to all web content that cannot be accessed through a standard search browser. This is a broad classification as, for instance, online government or university databases and content protected by pay-wall are also considered part of the dark web.1 It is estimated that the full content of the deep web vastly outweighs that of the surface web, or the web accessible through search engines. -
Studying the Anonymity Trilemma with a Discrete-Event Mix Network Simulator Ania M
Studying the anonymity trilemma with a discrete-event mix network simulator Ania M. Piotrowska Nym Technologies ABSTRACT strategies on the example of Elixxir [2], HOPR [4] and Nym [1]. To In this work, we present a discrete event mix network simulator, the best of our knowledge, this is a first such empirical analysis of which allows analysing how anonymity, latency, and bandwidth those networking designs. overhead are affected by various scenarios of deployment and de- sign choices. These design choices include network topology, mix- 2 BACKGROUND ing technique, volume of traffic, latency requirements, packet size or use of cover traffic. To the best of our knowledge, this isthe The concept of an anonymous communication network was pio- first such simulator as work on it began in 2017 to analyze the neered by Chaum [7] to mitigate the threats of progressive com- Loopix mix network, and the code of our simulator is available munications surveillance. Their main security goal is to shield the under an open-source license. To demonstrate the capabilities of correspondence between senders and recipients by hiding the dis- our simulator, we perform an empirical analysis of the impact of tinctive characteristics of the network traffic, the so called metadata. core design choices on anonymity, scalability and latency in Elixxir, The principal concept of the Chaum’s anonymous communication HOPR and Nym, currently deployed mix network infrastructures network is the decentralized mix network in which the network that make a variety of different choices in their design. traffic is relayed via a set of independently operated cryptographic relays called mix nodes. -
Building Incentives Into Tor*
Building Incentives into Tor⋆ Tsuen-Wan “Johnny” Ngan1, Roger Dingledine2, and Dan S. Wallach3 1 Google Inc. 2 The Tor Project 3 Department of Computer Science, Rice University Abstract. Distributed anonymous communication networks like Tor de- pend on volunteers to donate their resources. However, the efforts of Tor volunteers have not grown as fast as the demands on the Tor network. We explore techniques to incentivize Tor users to relay Tor traffic too; if users contribute resources to the Tor overlay, they should receive faster service in return. In our design, the central Tor directory authorities mea- sure performance and publish a list of Tor relays that should be given higher priority when establishing circuits. Simulations of our proposed design show that conforming users receive significant improvements in performance, in some cases experiencing twice the network throughput of selfish users who do not relay traffic for the Tor network. 1 Introduction Anonymizing networks such as Tor [16] and Mixminion [11] aim to protect users from traffic analysis on the Internet. That is, they help defeat attempts to catalog who is talking to whom, who is using which websites, and so on. These anonymity systems have a broad range of users: ordinary citizens who want to avoid being profiled for targeted advertisements, corporations who do not want to reveal information to their competitors, and law enforcement and government agencies who need to interact with the Internet without being noticed. These systems work by bouncing traffic around a network of relays operated around the world, and strong security comes from having a large and diverse network.