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