Date | Speaker | Title |
15.04.2014 |
Sarah Ereth, Matthias Perner, Steffen Lortz |
Combining RIFL and Cassandra to Specify and Verify Android-App Security |
22.04.2014 | Richard Gay, Jinwei Hu |
Lessons Learned in the Publication Process |
29.04.2014 | no talks | |
06.05.2014 | no talks | |
13.05.2014 | Steffen Lortz | Cassandra: What it is, where it goes. |
20.05.2014 | Jinwei Hu |
Service Automata: a Partial Vision |
27.05.2014 A126 |
Various Speakers |
Tool Integration in the RS3 Certifying App Store |
03.06.2014 | talk moved to 16.06. | |
13.06.2014 (Friday) 15:00, E202 |
Juan Pablo Timpanaro |
Monitoring Approaches For Anonymous Environments: The I2P Network |
16.06.2014 (Monday) 13:30, E202 |
Frank Hartmann | Protecting Third-Party Web Service Integrations with Service Automata |
16.06.2014 15:00, E202 |
David Schneider |
An Object-Sensitive Type-Based Information-Flow Analysis for Android Applications |
16.06.2014 16:30, E202 |
Alexandra Weber | Comparison of an Operational and an Axiomatic Model of Execution for Multi-threaded Programs - Presentation of the Current Status |
17.06.2014 10:30, A126 |
Matthias Perner |
Noninterference under Weak Memory Models |
26.06.2014 |
talk moved to 01.07. | |
01.07.2014 |
Jan Erik Keller | Type-Based Verification of Noninterference for Dalvik-Programs with Exception Handling |
08.07.2014 16:30 |
Various Speakers | Teaching and Research at MAIS |
15.07.2014 | Richard Gay |
Coordinating Distributed Security Enforcement |