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; Edward XueJun Wu (CCS, 2014)

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). - Paulo Barros; René Just; Suzanne Millstein; Paul Vines; Werner Dietl; Marcelo d'Amorim; Michael D. Ernst (ASE, 2015)

Rook: Using Video Games as a Low-Bandwidth Censorship Resistant Communication Platform. - Paul Vines; Tadayoshi Kohno (WPES@CCS, 2015)

Exploring ADINT: Using Ad Targeting for Surveillance on a Budget - or - How Alice Can Buy Ads to Track Bob. - Paul Vines; Franziska Roesner; Tadayoshi Kohno (WPES@CCS, 2017)

Surveillance: From Solutions to New Problems - Paul Vines (2017)

Communication Breakdown: Modularizing Application Tunneling for Signaling Around Censorship. - Paul Vines; Samuel McKay; Jesse Jenter; Suresh Krishnaswamy (Proc. Priv. Enhancing Technol., 2024)