MAIS Graduate Seminar
- Organizer:
- Prof. Dr.-Ing. Heiko Mantel
- Location:
- S2|02, E302
- Time:
- Tuesdays, 14:25h
| Date | Speaker | Title |
| 15.10.13 | Timo Bähr | Verbesserte Ergebnisberichte in Cassandra - Moved to Nov 05, 13 |
| 22.10.13 | Sylvia Grewe, Steffen Lortz |
I-MAKS - Current Status |
| 29.10.13 | Matthias Perner, Jens Sauer |
Intuitive Presentation of Multicore Semantics |
| 05.11.13 | Abdullah Abdul-Khadir Timo Bähr |
Robust Scientific Workflows with Service Automata Verbesserte Ergebnisberichte in Cassandra |
| 12.11.13 | Artem Starostin | Static Side-channel Analysis - New Directions |
| 19.11.13 | Sylvia Grewe |
MAIS-internal Talk |
| 26.11.13 | Steffen Lortz, Artem Starostin |
Secure Development of Mobile Apps with Cassandra |
| 03.12.13 | No Talks | |
| 10.12.13 | Steffen Lortz, Artem Starostin |
Cassandra |
| 11.12.13 (Wednesday) |
Willard Rafnsson (Room A313, 15:30-17:00h) |
Securing Interactive Programs |
| 12.12.13 (Thursday) |
Kuzman Katkalov, Kurt Stenzel (Room E202, 11:00-12:30) |
Model-driven Development of Information Flow-secure Systems with IFlow |
| 18.12.13 (Wednesday) |
Steven Arzt (Room A126, 9:30-10:30) |
FlowDroid and Runsecure - Application Scenarios |
| 18.12.13 (Wednesday) |
Luminous Fennell (Room A126, 12:00-12:30) |
Type-based Gradual Enforcement of Security Policies for Concurrent Programs - Application Scenarios |
| 18.12.13 (Wednesday) |
Enrico Lovat (Room A126, 14:00-15:00) |
System-wide Data-driven Runtime Usage Control Across Layers of Abstraction - Application Scenarios |
| 18.12.13 (Wednesday) |
Sarah Ereth, Jinwei Hu (Room A126, 15:30-16:15) |
Service Automata and Offline Monitoring - Application Scenarios |
| 14.01.14 | No Talks | |
21.01.14 |
Sebastian Ruhleder Sarah Ereth |
Enforcing Usage Constraints on Credentials for Web Applications Offline Monitoring |
| 28.01.14 | Steffen Lortz |
Modeling and Verifying Information Systems with I-MAKS |
| 04.02.14 | Robert Künnemann | Foundations for Analyzing Security APIs in the Symbolic and Computational Model |
| 28.02.14 (Friday) |
Zhazira Oskenbayeva (Room E302, 13:30-14:30) |
Monitoring Android Applications for SecLTL Formulas |
05.03.14 (Wednesday) |
Tobias Reinhard Markus Tasch (Room E302, 13:30-14:30) |
An Architecture for a Monitoring Tool Characteristics of Basic Security Predicates |
| 06.03.2014 (Thursday) |
Marie Christin Platenius (Room E302, 14:00-15:30) |
Service Matching and Service Specification |
Print
Imprint
Sitemap
Contact