Collaborative Verification of Information Flow for a High-Assurance App Store

Presented at CCS 2014 by

Karl Koscher

Seungyeop Han

Franziska Roesner

Paul Vines

Ravi Bhoraskar

Michael Ernst

René Just

Suzanne Millstein

Werner Dietl

Stuart Pernsteiner

Paulo Barros

Edward Wu