Directly to the content
TU
|
CS
|
MAIS
|
Staff
Heiko Mantel
Katrin Treue
Görkem Kılınç
Alexandra Weber
Maximilian Gehring
Matthias Perner
Nastaran Shekofte
Tim Weißmantel
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
Research
Tools
MAIS
Staff
Open Positions
Research
Research Areas
Publications
Tools
QKD ESORICS 2021
CacheAudit
Cassandra
CliSeAu
Ricasi
Side-Channel Finder
SPASCA
Third Party Funded Projects
Collaborators
Teaching
Thesis and HiWi Topics
Contact
Tools
In the group Modeling and Analysis of Information Systems, we are currently developing the following tools.
CacheAudit v0.2b and v0.2c
Certifying Application Store for Android (Cassandra)
CliSeAu
RiCaSi
Side-Channel Finder
SPASCA
A
A
A
|
Print
|
Imprint
|
Sitemap
|
Contact
CacheAudit v0.2b and v0.2c
Certifying Application Store for Android (Cassandra)
CliSeAu
RiCaSi
Side-Channel Finder
SPASCA
Print
Imprint
Sitemap
Contact