D120.de/forum

In summer term 2015, the MAIS group (Prof. Dr. Heiko Mantel) offers seminar Side-Channel Attacks on Software (3 CP, TUCAN Id: 20-00-0798-se).

In summer term 2015, the MAIS group (Prof. Dr. Heiko Mantel) offers lab Reliable Software Security for Mobile Devices (6 CP, TUCAN Id: 20-00-0799-pr).

In summer term 2015, the MAIS group (Prof. Dr. Heiko Mantel) offers seminar Side-Channel Attacks on Software (3 CP, TUCAN Id: 20-00-0798-se).

In summer term 2015, the MAIS group (Prof. Dr. Heiko Mantel) offers lab Reliable Software Security for Mobile Devices (6 CP, TUCAN Id: 20-00-0799-pr).

Die Noten sind ins TUCAN eingetragen. Die Klausureinsicht wird am 6. November 2013 von 17:00 bis 18:00 in A313 stattfinden.

Die Noten sind jetzt veröffentlicht. Die Klausureinsicht wird am 17. Mai 2013 von 14:00 bis 16:00 in E302 stattfinden. Mitzubrigen sind Personalausweis (oder Reisepaß) und Studentenausweis. Zeitplan für die Klausureinsicht: A bis K - 14:00-15:00, L bis Z - 15:00-16:00.

Dear students! In summer term 2013 the MAIS chair (Prof. Dr.-Ing. Heiko Mantel) offers a number of exciting seminars and labs: * Lab course "Software Security for Mobile Devices" will teach you an innovative technology for detecting Android apps that steal user's private data. * Seminar "Software Se...

In summer term 2013, the MAIS group (Prof. Dr. Heiko Mantel) offers the seminar Software Security for Mobile Devices (3 CP, TUCAN Id: 20-00-0641-se).

In summer term 2013, the MAIS group (Prof. Dr. Heiko Mantel) offers the lab course Software Security for Mobile Devices (6 CP, TUCAN Id: 20-00-0640-pr).

12.11.12 nach der Vorlesung ist einen Gelbeutel gefunden. Wenden Sie sich bitte an Artem Starostin (E312).

Die Noten sind jetzt veröffentlicht. Die Klausureinsicht wird am 14. November 2012 von 17:30 bis 18:30 in E202 stattfinden

Ich habe kleine Präzisierung in Aufgabe 4 gemacht, und zwar "phi1 := v0 > 0" ist auf "phi1 := 0 < v0" geändert. Das ist weil in der Vorlesung haben wir nur das Prädikat "<" definiert (Folie 37 im Modul 01) und nicht ">". Danke, Markus, für diese Anmerkung.

Die Noten sind ins TUCAN eingetragen. Das Studienbüro wird die Noten demnächst veröffentlichen (nur dannach werden sie für die Teilnehmern sichtbar). Die Klausureinsicht wird am 4. Mai 2012 von 13:00 bis 16:00 in E302 stattfinden. Mitzubrigen sind: Personalausweis oder Reisepaß und Studentenausweis....

6CP Bachelor/Master Lab Course "Software Security for Mobile Devices" For a given piece of software, it is in general hard to assess if it satisfies the properties that the manufacturer promises. If these properties are defined formally, then formal methods can be used to verify whether the software...

3CP Bachelor/Master Block-Seminar "Software Security for Mobile Devices" 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 lo...