Collaborative Verification of Information Flow for a High-Assurance App Store
by Michael D. Ernst and
René Just and
Suzanne Millstein and
Werner Dietl and
Stuart Pernsteiner and
Franziska Roesner and
Karl Koscher and
Paulo Barros Barros and
Ravi Bhoraskar and
Seungyeop Han and
Paul Vines and
Edward XueJun Wu