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

by M D ERNST, R JUST, S MILLSTEIN, W DIETL, S PERNSTEINER, F ROESNER, K KOSCHER, P B BARROS, R BHORASKAR, S HAN, P VINES, E X WU
Venue:In ACM SIGSAC Conference on Computer and Communications Security (CCS)