MAIS Graduate Seminar
- Organizer:
- Prof. Dr.-Ing. Heiko Mantel
- Location:
- S2|02 E302
- Time:
- Tuesdays, 14:25
| Date | Speaker | Title |
| 18.10.2016 | Various Speakers | Talks at the CROSSING Retreat |
| 25.10.2016 | Richard Gay | Research Progress |
| Sebastian Ruhleder | Specification Languages for Information Flow | |
| Ximeng Li, David Schneider, Markus Tasch | RIFL: Achievements & Outlook | |
| 01.11.2016 | Ximeng Li | Temporal and Spatial Nonlocalness in Information Flow Security |
| 08.11.2016 | Alexandra Weber | Leakage Bounds on Cache Side Channels: The Case of AES |
| 14.11.2016 | Internal Session | |
| 22.11.2016 | Johannes Schickel | Research Progress |
| 29.11.2016 | Iva Toteva | Advancing Tool Support for the Detection of Side-Channel Vulnerabilities in Java |
| Yuri Gil Dantas | Dynamic Security Enforcement based on Business Decisions | |
| 02.12.2016 | Goran Doychev | Rigorous Analysis of Software Countermeasures against Cache Attacks |
| 06.12.2016 | TBD | |
| 14.12.2016 14:30, E302 |
Tobias Hamann, David Schneider | Cassandra + CliSeAu for Precise, Efficient, and Sound Inter-Application Information-Flow Control on Android |
| Ximeng Li, Markus Tasch | Compositional Permissive Communication Security using Assumptions | |
| 20.12.2016 | Matthias Perner | Noninterference for a Subset of ARM's ISA with Relaxed Consistency Guarantees |
| Christmas break | ||
| 10.01.2017 | Yuri Gil Dantas, Tobias Hamann |
An Experimental Study of a Bucketing Strategy |
| 17.01.2017 | Jan Nordholz | Design and Provability of Statically Configurable Microhypervisors |
| 24.01.2017 | Rune Fiedler | Towards Precise Treatment of Inter-Procedural Implicit Information Flow in Android Applications |
| Ximeng Li, David Schneider, Markus Tasch | RIFL: A Uniform Language for Information-Flow Requirements and Assumptions | |
| 31.01.2017 | MAIS-internal discussion | |
| 07.02.2017 | MAIS-internal discussion |
Print
Imprint
Sitemap
Contact