Directly to the content
TU
|
CS
|
MAIS
|
News
|
Staff
Heiko Mantel
Katrin Treue
Görkem Kılınç
Alexandra Weber
Maximilian Gehring
Matthias Perner
Nastaran Shekofte
Tim Weißmantel
Rene Czerny
Youness Bachire
Alumni
|
Open Positions
Ph.D. Candidates / Postdocs
M.Sc. / B.Sc. Students
ATMs
|
Research
Research Areas
Publications
Tools
Third Party Funded Projects
Collaborators
|
Teaching
Summer Term 2024
Winter Term 2023/24
Summer Term 2023
Summer Term 2022
Winter Term 2021/22
Past Terms
Studying abroad
|
Thesis and HiWi Topics
|
Contact
Directions
TU Darmstadt
Computer Science
MAIS
NewsItems
New Publications
MAIS
News
Staff
Open Positions
Research
Teaching
Thesis and HiWi Topics
Contact
New Publications
We are happy to announce that the following new papers have been accepted recently:
Cassandra: Towards a Certifying App Store for Android
by Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider, and Alexandra Weber has been accepted for publication at
SPSM 2014
.
CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement
by Richard Gay, Jinwei Hu, and Heiko Mantel has been accepted for publication at
ICISS 2014
.
A
A
A
|
Print
|
Imprint
|
Sitemap
|
Contact