Sitemap – www.mais.informatik.tu-darmstadt.de

  1. News
  2. Staff
    1. Heiko Mantel
      1. Publications
      2. Services
      3. Teaching
    2. Katrin Treue
    3. Görkem Kılınç
    4. Alexandra Weber
    5. Maximilian Gehring
    6. Matthias Perner
    7. Nastaran Shekofte
    8. Tim Weißmantel
    9. Rene Czerny
    10. Youness Bachire
    11. Alumni
  3. Open Positions
    1. Ph.D. Candidates / Postdocs
      1. Formal Modeling and Tool-Supported Verification
      2. Static Side-Channel Analysis
      3. Efficient and Reliable Run-Time Monitoring and Enforcement
      4. Modular Semantic-Based Analyses
    2. M.Sc. / B.Sc. Students
    3. ATMs
  4. Research
    1. Research Areas
    2. Publications
    3. Tools
      1. QKD ESORICS 2021
      2. CacheAudit
      3. Cassandra
      4. CliSeAu
        1. CReDiC
      5. Ricasi
      6. Side-Channel Finder
      7. SPASCA
    4. Third Party Funded Projects
      1. SeRCA
      2. SF 4.0
      3. RSCP
      4. RS3
    5. Collaborators
  5. Teaching
    1. Summer Term 2024
      1. Formal Methods for Information Security
      2. Lab: Formal Specification and Verification in Isabelle/HOL
      3. Seminar: Language-Based Security for Distributed Systems
    2. Winter Term 2023/24
      1. Modellierung, Spezifikation und Semantik
      2. Static and Dynamic Program Analysis
    3. Summer Term 2023
      1. Language-Based Security for Distributed Systems
      2. Formal Methods for Information Security
    4. Summer Term 2022
      1. Formal Methods for Information Security
      2. Lab: Isabelle/HOL
      3. Seminar: FormSpec
      4. Graduate Seminar
      5. Klausur: Modellierung, Spezifikation und Semantik
    5. Winter Term 2021/22
      1. Modellierung, Spezifikation und Semantik
      2. Static and Dynamic Program Analysis
      3. Graduate Seminar
    6. Past Terms
      1. Summer Term 2021
        1. Static and Dynamic Program Analysis
        2. Lab: Isabelle/HOL
        3. Seminar: CTCP
        4. Seminar: FormSpec
        5. Graduate Seminar
        6. Klausur: Modellierung, Spezifikation und Semantik
      2. Winter Term 2020/21
        1. Modellierung, Spezifikation und Semantik
        2. Seminar: Current Topics in Concurrency and Parallelism
        3. Seminar: Side-Channel Attacks on Software
        4. Graduate Seminar
      3. Summer Term 2020
        1. Modellierung, Spezifikation und Semantik
        2. Lab: Isabelle/HOL
        3. Lab: Side Channel
        4. Seminar: ATMSec
        5. Seminar: FormSpec
        6. Graduate Seminar
      4. Winter Term 2019/20
        1. Graduate Seminar
        2. Seminar: CTMV
        3. Seminar: SSMD
        4. Reliable Software Security for Mobile Devices
        5. Formal Methods for Information Security
      5. Summer Term 2019
        1. Modellierung, Spezifikation und Semantik
        2. Lab: Dynamo
        3. Lab: Isabelle/HOL
        4. Seminar: CTSU
        5. Seminar: SCAS
        6. Graduate Seminar
      6. Summer Term 2018
        1. Formal Methods for Information Security
        2. Reliable Software Security for Mobile Devices
        3. Current Topics in Concurrency and Parallelism
        4. Graduate Seminar
      7. Winter Term 2017/18
        1. Modellierung, Spezifikation und Semantik
        2. Static and Dynamic Program Analysis
        3. Dynamic Enforcement of System Requirements
        4. Current Topics in Program Semantics
        5. Graduate Seminar
      8. Summer Term 2017
        1. Lecture: FMIS
          1. Internal Area
        2. Graduate Seminar
        3. Lab: RSSMD
        4. Lab: Isabelle/HOL
        5. Seminar: CTSU
        6. Seminar: SCAS
      9. Winter Term 2016/17
        1. Modellierung, Spezifikation und Semantik
        2. Graduate Seminar
        3. Seminar: CSF
        4. Seminar: FormSpec
        5. Project Lab: Dynamo
      10. Summer Term 2016
        1. Lecture: FMIS
          1. Internal Area
        2. Graduate Seminar
        3. Lab: RSSMD
        4. Seminar: CTCP
        5. Seminar: SCAS
      11. Winter Term 2015/16
        1. Modellierung, Spezifikation und Semantik
        2. Graduate Seminar
        3. Lecture: SCAS
        4. Lab: Isabelle/HOL
        5. Seminar: FormSpec
        6. Seminar: CSF
      12. Summer Term 2015
        1. Lecture: FMIS
        2. Graduate Seminar
        3. Lab: Dynamo
        4. Lab: RSSMD
        5. Seminar: Current Topics
        6. Seminar: SCAS
      13. Winter Term 2014/15
        1. Foundations of Computing
        2. Graduate Seminar
        3. Lab: Formal Specification&Verification
          1. Internal Area
        4. Seminar: Formal Specification
        5. Seminar: Current Tools for LBS
          1. CTLBS-internal
      14. Summer Term 2014
        1. Lecture: FMIS
        2. Graduate Seminar
      15. Winter Term 2013/14
        1. Foundations of Computing
        2. Graduate Seminar
        3. Modeling Lab
        4. Seminar: Formal Specification
        5. Seminar: Current Topics
      16. Summer Term 2013
        1. Lecture: FMIS
        2. Graduate Seminar
        3. Lab: Dynamo
        4. Lab: SSMD
        5. Seminar: SSMD
        6. Seminar: Current Topics
        7. Seminar: SecPolLang
      17. Winter Term 2012/13
        1. Foundations of Computing
        2. Program Analysis
        3. Graduate Seminar
        4. Modeling Lab
        5. Seminar: Formal Specification
        6. Seminar: Current Topics
      18. Summer Term 2012
        1. Lecture: FMIS
        2. Graduate Seminar
        3. Lab: Secure Coding
        4. Lab: SSMD
        5. Seminar: SSMD
        6. Seminar: Current Topics
      19. Winter Term 2011/12
        1. Foundations of Computing
        2. Program Analysis
        3. Graduate Seminar
        4. Modeling Lab
        5. Seminar: Current Topics
        6. Seminar: Runtime Monitoring
        7. Seminar: Formal Specification
      20. Summer Term 2011
        1. Lecture: FMIS
        2. Graduate Seminar
        3. PCC Lab
        4. PCC Seminar
        5. Seminar: Current Topics
        6. Runtime Monitoring
      21. Winter Term 2010/11
        1. Graduate Seminar
        2. Einführung in Foundations of Computing
        3. RSCP-Seminar
        4. Modellierungspraktikum
        5. Formale Spezifikation
      22. Summer Term 2010
        1. Lecture: FMIS
        2. Graduate Seminar MAIS
        3. PCC Lab
        4. PCC Seminar
        5. SecEng Seminar
        6. Oberseminar Formale Methoden
      23. Winter Term 2009/10
        1. Praktikum: Sichere Informationssysteme
        2. Graduate Seminar "MAIS"
        3. Einführung in Foundations of Computing
        4. Seminar: Programmanalyse
        5. Modellierungspraktikum
        6. Seminar: Formale Spezifikation
      24. Summer Term 2009
        1. Oberseminar Formale Methoden
      25. Winter Term 2008/09
        1. Foundations of Computing
          1. Lehrmaterial
        2. Formale Spezifikation
        3. Modellierungspraktikum
        4. Analyse von Sicherheitsprotokollen
        5. Oberseminar Formale Methoden
      26. Summer Term 2008
        1. Form. Meth. Inf.-Sec.
        2. PCC Lab
        3. PCC Seminar
        4. Graduate Seminar
        5. Form. Spez. & Ana.
      27. Winter Term 2007/08
        1. Found. of Comp.
          1. Lehrmaterial
          2. Vorabinformationen_Klausur_Algorithmik
        2. Probabilistische Modelle
        3. Formale Spezifikation
        4. Modellierungspraktikum
        5. Graduate Seminar
      28. Summer Term 2007
        1. Network Security
        2. Form. Meth. Inf.-Sec.
      29. Winter Term 2006/07
        1. Quantitative Security
        2. FMIS (Advanced)
      30. Summer Term 2006
        1. F. Methods f. Inf. Sec.
      31. Winter Term 2005/06
        1. Cur. Topics in Inf. Sec.
        2. Network Security
    7. Studying abroad
  6. Thesis and HiWi Topics
  7. Contact
    1. Directions
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang