Date | Speaker | Title |
16.04.2019 | Science reading slot | |
29.04.2019 | Joscha Seemann Jonas Meurer |
Towards a C/C++ Extension for a Distributed Enforcement Framework Investigating the Effects of Inter-Process and Cross-Device Communication Strategies on Runtime Enforcement for Android |
30.04.2019 | Various speakers | Talks @ CROSSING retreat |
07.05.2019 | Various speakers | Talks @ SF 4.0 staff meeting |
14.05.2019 |
Lorenzo Gheri | A General Approach to Syntax with Bindings |
21.05.2019 | Florian Dewald, Thomas Hoehl |
TBD |
28.05.2019 | Various speakers | Talks @ SF 4.0 practitioner event |
04.06.2019 | MAIS internal discussion |
|
11.06.2019 | Prof. Jakobs |
An Introductory Overview on CPAchecker |
18.06.2019 | Tim Weißmantel Yuri Gil Dantas, Tobias Hamann |
TBD Runtime Monitoring Subgroup Update Talk |
25.06.2019 | Various speakers | Improving content visibility through websites |
02.07.2019 | Melanie Jehn Thomas Kreutz |
A Performance Evaluation on Dynamic Enforcement Frameworks Towards Enforcing Dynamic Security Policies in Java Programs |
09.07.2019 | MAIS internal discussion | |
16.07.2019 |
Lorenzo Gheri |
TBD |