This proseminar allows students to familiarize themselves with various approaches and techniques in program analysis that can be applied to security analysis with great use. Working in pairs on research papers, students study the theoretical underpinnings as well the practical workings, present a summary in class, and prepare a short write-up. * Static analysis * Fault injection * Active automata learning Initial reading list (take a look before the first meeting; all papers are in the public domain, although you might have to be on the TUHH network): Systematic Detection of Capability Leaks in Stock Android Smartphones Michael Grace, Yajin Zhou, Zhi Wang, Xuxian Jiang AppInk: Watermarking Android Apps for Repackaging Deterrence Wu Zhou, Xinwen Zhang , Xuxian Jiang Static Detection of Dangerous Behaviors in Android Apps Shaoyin Cheng, Shengmei Luo, Zifeng Li, Wei Wang, Yan Wu, and Fan Jiang Lazart: A Symbolic Approach for Evaluating the Robustness of Secured Codes against Control Flow Fault Injections Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil A Novel Simulation Approach for Fault Injection Resistance Evaluation on Smart cards Lionel Rivie`re, Julien Bringer, Thanh-Ha Le and Herve Chabanne SmartCM A Smart Card Fault Injection Simulator Jean-Baptiste Machemie, Clement Mazin, Jean-Louis Lanet, Julien Cartigny Inference and Abstraction of the Biometric Passport Fides Aarts, Julien Schmaltz, and Frits Vaandrager Automated Reverse Engineering using Lego Georg Chalupar, Stefan Peherstorfer, Erik Poll, and Joeri de Ruiter Analyzing Program Behavior Through Active Automata Learning Oliver Bauer, Maren Geske, Malte Isberner