Collaborative Verification of Information Flow for a High-Assurance App Store.
Michael D. ErnstRené JustSuzanne MillsteinWerner DietlStuart PernsteinerFranziska RoesnerKarl KoscherPaulo BarrosRavi BhoraskarSeungyeop HanPaul VinesEdward XueJun WuPublished in: CCS (2014)