Collaborative Verification of Information Flow for a High-Assurance App Store

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 03, 2014
Source ID
10.1145/2660267.2660343

Entities

People

  • Edward X. Wu
  • Franziska Roesner
  • Karl Koscher
  • Michael D. Ernst
  • Paul Vines
  • Paulo Barros Barros
  • Ravi Bhoraskar
  • RenĂ© Just
  • Seungyeop Han
  • Stuart Pernsteiner
  • Suzanne Millstein
  • Werner M. Dietl

Organizations

  • Defense Advanced Research Projects Agency
  • University of Washington
  • University of Waterloo