DMCA

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

by Michael D Ernst , René Just , Suzanne Millstein , Werner Dietl , Stuart Pernsteiner , Franziska Roesner , Karl Koscher , Paulo Barros , Ravi Bhoraskar , Seungyeop Han , Paul Vines , Edward X Wu
Venue:In ACM SIGSAC Conference on Computer and Communications Security (CCS)
Citations:8 - 1 self