Publications

• Rook: Using Video Games as Low-Bandwidth Censorship Resistant Communication Platform. Paul Vines, Tadayoshi Kohno. Workshop on Privacy in the Electronic Society (WPES), October, 2015.

• Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents. Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo D’Amorim, Michael D. Ernst. ACM International Conference on Automated Software Engineering (ASE), November 2015.

• Collaborative Verification of Information Flow for a High-Assurance App Store Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl*, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, and Edward X. Wu. 21st Conference on Computer and Communications Security, November 2014.

• R2B2: Automated PIN-Cracking Robot Justin Engler, Paul Vines. DefCon, August 2013 (Video, Slides)