Tuesday, November 18, 2014
11:00am Meeting room 302 (Mountain View), level 3
Michael Ernst, Faculty (visiting), IMDEA Software Institute
Collaborative verification of information flow for a high-assurance app store
Abstract:
Malware is a serious problem on mobile devices. Our vision is a verified app store in which each application has been formally proven to be free of (certain) defects and exploits. We have built such a system and successfully applied it to dozens of challenge applications created by hostile Red Teams. This talk describes our type system for information flow, along with support for implicit invocation (intents and reflection), varieties of polymorphism, and other challenges that arose.