Vorlesung: Seminar (Bachelor Level) - Details

Vorlesung: Seminar (Bachelor Level) - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: Seminar (Bachelor Level)
Untertitel Safety meets Security
Semester SoSe 16
Aktuelle Anzahl der Teilnehmenden 6
erwartete Teilnehmendenanzahl 10
Heimat-Einrichtung Institut für Softwaresysteme (E-16)
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Freitag, 08.04.2016 12:00 - 13:00, Ort: (Bldg E, Rm.4042)

Räume und Zeiten

(Bldg E, Rm.4042)
Freitag, 08.04.2016 12:00 - 13:00
Dienstag, 24.05.2016 08:30 - 13:30
(Bldg. .E, Rm. 4042)
Freitag, 29.04.2016 12:00 - 17:00

Kommentar/Beschreibung

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

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch Migration 128 13:45:31 03.09.2014
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.