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. | |
18.11.2014 13:15-14:45 |
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 |
04.12.2014 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 |
16.12.2014 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 |