Date | Speaker | Title |
10.04.2018 | Thomas Hoehl | Exploiting Selected Design Patterns in Modular Reasoning about C Programs |
MAIS internal discussion | ||
17.04.2018 | MAIS internal discussion | |
24.04.2018 | Dorothea Treitz | Case Study: An E-Learning Platform with Formal Information-Flow Guarantees |
08.05.2018 |
Alex Mariotto Henry Rust |
An Empirical Evaluation of a Predictive Mitigation Technique for Timing Channels Experiments with the ATmega 2560 |
15.05.2018 | Various speakers | Talks at HPC Cluster |
22.05.2018 | MAIS internal discussion | |
29.05.2018 | MAIS internal discussion | |
05.06.2018 | Benjamin Richter | Soundness and Completeness of an Operational Execution Model with Weak Memory Consistency |
12.06.2018 | MAIS internal discussion | |
19.06.2018 | Christopher Gerking |
Tracing Information Flow Security in Model-Driven Engineering of Cyber-Physical Systems |
26.06.2018 |
Robert Sison | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs |
Yuri Gil Dantas and Tobias Hamann | An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior |
|
03.07.2018 | MAIS internal discussion | |
10.07.2018 |
MAIS internal discussion |