MAIS Graduate Seminar

Organizer:
Prof. Dr.-Ing. Heiko Mantel Jinwei Hu, Ph.D.
Location:
S2|02, E302
Time:
Tuesdays, 14:25h
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
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang