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

Browse the full CCS paper archive.