E-Learning an der TU Hamburg
Lecture: Seminar (Bachelor Level) - Details
You are not logged into Stud.IP.

General information

Course name Lecture: Seminar (Bachelor Level)
Subtitle Safety meets Security
Semester SoSe 16
Current number of participants 8
expected number of participants 10
Home institute Institut für Softwaresysteme (E-16)
Courses type Lecture in category Teaching
First date Fri., 08.04.2016 12:00 - 13:00, Room: (Bldg E, Rm.4042)

Course location / Course dates

(Bldg E, Rm.4042) Friday. 08.04.16 12:00 - 13:00
Tuesday. 24.05.16 08:30 - 13:30
(Bldg. .E, Rm. 4042) Friday. 29.04.16 12:00 - 17:00


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

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch Migration 128 13:45:31 03.09.2014
Settings for unsubscribe:
  • Admission locked.