This seminar aims at establishing a link between two hot topics in computer science: The first topic is the security solutions and known vulnerabiltities on modern mobile devices. The second topic is the program analysis for low-level languages, e.g., Java or Android's Dalvik bytecode. Recent research papers from these two areas will be considered in the seminar. Part of the seminar will be devoted to a discussion on how techniques from the area of program analysis can help to improve the state-of-the-art security on mobile devices.
Last modified on 22 October 2012.