Talks Speakers Conferences Conference Groups
Sign In

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

No ratings

Presented at CCS 2014 by

Karl Koscher

Seungyeop Han

Franziska Roesner

Paul Vines

Ravi Bhoraskar

Michael Ernst

René Just

Suzanne Millstein

Werner Dietl

Stuart Pernsteiner

Paulo Barros

Edward Wu

N/A

© Copyright 2026 | Thinkst Applied Research