Computer Science Department
McGregory Hall, 3rd Floor
13 Oak Drive
Hamilton, NY 13346
Charlotte Jablonski, Administrative Assistant
Start: Tuesday, March 22, 2016, 11:20 a.m.
End: Tuesday, March 22, 2016, 12:10 p.m.
Location: 319 McGregory Hall
Tor is a system for anonymous communication that has millions of users around the world. We will start with an overview of this real-world system including both how it works and known attacks on this system. We will then discuss ways in which beliefs about trust might be used to improve Tor’s security. As part of this, we will describe a modular system that allows users to capture such beliefs using probability distributions on sets of network elements that might be observed by an attacker. We will illustrate this system through the study of two novel types of attackers. This is based on joint work with Aaron Johnson, Sarah Cortes, Paul Syverson, and Joan Feigenbaum.
Aaron Jaggard is a researcher in the Formal Methods Section of the Center for High Assurance Computer Systems at the U.S. Naval Research Laboratory. He was previously a visiting assistant professor of computer science at Colgate, an assistant research professor at the DIMACS center at Rutgers, and a VIGRE postdoctoral fellow in mathematics at Tulane. His research involves the development and use of models to reason about the trustworthiness and security of systems. This includes work on accountability and identifiability, dynamics of game-theoretic systems, anonymous communication, and formal-methods analysis of protocols.