Directly to the content
TU
|
CS
|
MAIS
|
News
|
Staff
Heiko Mantel
Katrin Treue
Görkem Kılınç
Matthias Perner
Nastaran Shekofte
Alexandra Weber
Tim Weißmantel
Holy Randrianirina
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 2022
Winter Term 2021/22
Summer Term 2021
Past Terms
Studying abroad
|
Thesis and HiWi Topics
|
Contact
Directions
TU Darmstadt
Computer Science
MAIS
Sitemap
MAIS
News
Staff
Open Positions
Research
Teaching
Thesis and HiWi Topics
Contact
Sitemap – www.mais.informatik.tu-darmstadt.de
News
Staff
Heiko Mantel
Publications
Services
Teaching
Katrin Treue
Görkem Kılınç
Matthias Perner
Nastaran Shekofte
Alexandra Weber
Tim Weißmantel
Holy Randrianirina
Alumni
Markus Aderhold
Richard Gay
Ximeng Li
Barbara Sprick
Henning Sudbrock
Open Positions
Ph.D. Candidates / Postdocs
Formal Modeling and Tool-Supported Verification
Static Side-Channel Analysis
Efficient and Reliable Run-Time Monitoring and Enforcement
Modular Semantic-Based Analyses
M.Sc. / B.Sc. Students
ATMs
Research
Research Areas
Publications
Tools
QKD ESORICS 2021
CacheAudit
Cassandra
CliSeAu
CReDiC
Ricasi
Side-Channel Finder
SPASCA
Third Party Funded Projects
SeRCA
SF 4.0
RSCP
RS3
Collaborators
Teaching
Summer Term 2022
Formal Methods for Information Security
Lab: Isabelle/HOL
Seminar: FormSpec
Graduate Seminar
Klausur: Modellierung, Spezifikation und Semantik
Winter Term 2021/22
Modellierung, Spezifikation und Semantik
Static and Dynamic Program Analysis
Graduate Seminar
Summer Term 2021
Static and Dynamic Program Analysis
Lab: Isabelle/HOL
Seminar: CTCP
Seminar: FormSpec
Graduate Seminar
Klausur: Modellierung, Spezifikation und Semantik
Past Terms
Winter Term 2020/21
Modellierung, Spezifikation und Semantik
Seminar: Current Topics in Concurrency and Parallelism
Seminar: Side-Channel Attacks on Software
Graduate Seminar
Summer Term 2020
Modellierung, Spezifikation und Semantik
Lab: Isabelle/HOL
Lab: Side Channel
Seminar: ATMSec
Seminar: FormSpec
Graduate Seminar
Winter Term 2019/20
Graduate Seminar
Seminar: CTMV
Seminar: SSMD
Reliable Software Security for Mobile Devices
Formal Methods for Information Security
Summer Term 2019
Modellierung, Spezifikation und Semantik
Lab: Dynamo
Lab: Isabelle/HOL
Seminar: CTSU
Seminar: SCAS
Graduate Seminar
Summer Term 2018
Formal Methods for Information Security
Reliable Software Security for Mobile Devices
Current Topics in Concurrency and Parallelism
Graduate Seminar
Winter Term 2017/18
Modellierung, Spezifikation und Semantik
Static and Dynamic Program Analysis
Dynamic Enforcement of System Requirements
Current Topics in Program Semantics
Graduate Seminar
Summer Term 2017
Lecture: FMIS
Internal Area
Graduate Seminar
Lab: RSSMD
Lab: Isabelle/HOL
Seminar: CTSU
Seminar: SCAS
Winter Term 2016/17
Modellierung, Spezifikation und Semantik
Graduate Seminar
Seminar: CSF
Seminar: FormSpec
Project Lab: Dynamo
Summer Term 2016
Lecture: FMIS
Internal Area
Graduate Seminar
Lab: RSSMD
Seminar: CTCP
Seminar: SCAS
Winter Term 2015/16
Modellierung, Spezifikation und Semantik
Graduate Seminar
Lecture: SCAS
Lab: Isabelle/HOL
Seminar: FormSpec
Seminar: CSF
Summer Term 2015
Lecture: FMIS
Graduate Seminar
Lab: Dynamo
Lab: RSSMD
Seminar: Current Topics
Seminar: SCAS
Winter Term 2014/15
Foundations of Computing
Graduate Seminar
Lab: Formal Specification&Verification
Internal Area
Seminar: Formal Specification
Seminar: Current Tools for LBS
CTLBS-internal
Summer Term 2014
Lecture: FMIS
Graduate Seminar
Winter Term 2013/14
Foundations of Computing
Graduate Seminar
Modeling Lab
Seminar: Formal Specification
Seminar: Current Topics
Summer Term 2013
Lecture: FMIS
Graduate Seminar
Lab: Dynamo
Lab: SSMD
Seminar: SSMD
Seminar: Current Topics
Seminar: SecPolLang
Winter Term 2012/13
Foundations of Computing
Program Analysis
Graduate Seminar
Modeling Lab
Seminar: Formal Specification
Seminar: Current Topics
Summer Term 2012
Lecture: FMIS
Graduate Seminar
Lab: Secure Coding
Lab: SSMD
Seminar: SSMD
Seminar: Current Topics
Winter Term 2011/12
Foundations of Computing
Program Analysis
Graduate Seminar
Modeling Lab
Seminar: Current Topics
Seminar: Runtime Monitoring
Seminar: Formal Specification
Summer Term 2011
Lecture: FMIS
Graduate Seminar
PCC Lab
PCC Seminar
Seminar: Current Topics
Runtime Monitoring
Winter Term 2010/11
Graduate Seminar
Einführung in Foundations of Computing
RSCP-Seminar
Modellierungspraktikum
Formale Spezifikation
Summer Term 2010
Lecture: FMIS
Graduate Seminar MAIS
PCC Lab
PCC Seminar
SecEng Seminar
Oberseminar Formale Methoden
Winter Term 2009/10
Praktikum: Sichere Informationssysteme
Graduate Seminar "MAIS"
Einführung in Foundations of Computing
Seminar: Programmanalyse
Modellierungspraktikum
Seminar: Formale Spezifikation
Summer Term 2009
Oberseminar Formale Methoden
Winter Term 2008/09
Foundations of Computing
Lehrmaterial
Formale Spezifikation
Modellierungspraktikum
Analyse von Sicherheitsprotokollen
Oberseminar Formale Methoden
Summer Term 2008
Form. Meth. Inf.-Sec.
PCC Lab
PCC Seminar
Graduate Seminar
Form. Spez. & Ana.
Winter Term 2007/08
Found. of Comp.
Lehrmaterial
Vorabinformationen_Klausur_Algorithmik
Probabilistische Modelle
Formale Spezifikation
Modellierungspraktikum
Graduate Seminar
Summer Term 2007
Network Security
Form. Meth. Inf.-Sec.
Winter Term 2006/07
Quantitative Security
FMIS (Advanced)
Summer Term 2006
F. Methods f. Inf. Sec.
Winter Term 2005/06
Cur. Topics in Inf. Sec.
Network Security
Studying abroad
Thesis and HiWi Topics
Contact
Directions
A
A
A
|
Print
|
Imprint
|
Sitemap
|
Contact