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 D. Ernst, René Just, Suzanne Millstein, Werner Dietl, Stuart Pernsteiner, Paulo Barros, Edward Wu,
Summary : N/A