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 Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS
Citations:7 - 1 self