[PAST EVENT] Colloquium: STAMP: STatic Analysis of Mobile Programs

November 9, 2011
McGlothlin-Street Hall, Room 020
251 Jamestown Rd
Williamsburg, VA 23185Map this location
Recently, malicious mobile applications distributed through app markets have become a major security concern. In this talk, we introduce the STAMP project whose goal is to certify the absence of malware in applications included in an app market. The STAMP project will explore new static analysis techniques for verifying that applications written for the Android platform do not leak sensitive user information and that they behave as advertised. STAMP is a brand new project that just got funded by DARPA, and we have three full RAship positions available starting in January, increasing to four over the next year. This talk will give an overview of this new project and outline its goals and basic approach.

Department of Computer Science