Collaborative verification of information flow for a high-assurance app store (2014)

by M D Ernst, R Just, S Millstein, W M Dietl, S Pernsteiner, F Roesner, K Koscher, P Barros, R Bhoraskar, S Han, P Vines, E X Wu
Venue:In CCS