MAIS Graduate Seminar

Prof. Dr.-Ing. Heiko Mantel
S2|02, E302
Tuesdays, 14:25h
Date Speaker Title
 14.10.2014 Various Speakers Recent Developments in Reliably Secure Software Systems
 21.10.2014 Steffen Lortz
Security-type Analysis of Java Programs: Possible Directions
 28.10.2014 Steffen Lortz
Cassandra: Towards a Certifying App Store for Android
 04.11.2014 Richard Gay
CliSeAu 2.0 - My Planned Contributions
 11.11.2014 Moved to 16.12.  
Frank Hartmann
Protecting Third-Party Web Service Integrations with Service Automata
 25.11.2014 Alexandra Weber
Comparison of an Operational and an Axiomatic Model of Execution for Multi-threaded Programs
 02.12.2014  Richard Gay,
Jinwei Hu

Tobias Weber
CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement

Developing a knowledge-based algorithm for decentralized LTL monitoring
11:30, E302
Boris Köpf
(IMDEA Madrid)
Static Analysis of Cache Side Channels
 09.12.2014 Stephen Chong
(Harvard University)
Shill: A Secure Shell Scripting Language
Room A313
David Schneider

Matthias Perner
An Object-Sensitive Type-Based Information-Flow Analysis for Android Applications

Towards robust information-flow security for Weak Memory Model
 13.01.2015 David Schneider Cassandra: Towards More Practical Information Flow Control for Android
 20.01.2015 Markus Tasch

Tobias Reinhard
Towards Guaranteeing Information Flow Properties by Architectural Design

Offline Monitoring Tool: The Implementation Status
 27.01.2015  Xucheng Yin

A. Starostin, A. Weber, X. Yin
Side Channel Attacks and Countermeasures for Security Chips

Side-Channel Analysis at MAIS: The Life Before and During CROSSING
 03.02.2015 no talks

 10.02.2015 moved to summer semester 2015
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang