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

  1. News
  2. Staff
    1. Heiko Mantel
      1. Publications
      2. Services
      3. Teaching
    2. Renate Drießler
    3. Miriam Rifai-Schön
    4. Görkem Kılınç
    5. Ximeng Li
    6. Yuri Gil Dantas
    7. Tobias Hamann
    8. Matthias Perner
    9. Johannes Schickel
    10. Markus Tasch
    11. Alexandra Weber
    12. Christian Frieß
    13. Jan-Niklas Klocke
    14. René Rückert
    15. Alumni
      1. Markus Aderhold
      2. Richard Gay
      3. Alexander Lux (geb. Reinhard)
      4. David Schneider
      5. Barbara Sprick
      6. Henning Sudbrock
  3. Research
    1. Collaborators
    2. Projects
      1. CRISP
      2. CYSEC
      3. RS3
      4. RSCP
      5. SeRCA
      6. SF 4.0
    3. Publications
    4. Tools
      1. CacheAudit ESSoS 17
      2. Cassandra
      3. CliSeAu
        1. CReDiC
      4. Side-Channel Finder 2017
  4. Teaching
    1. Thesis and HiWi Topics
    2. Winter Term 2017/18
      1. Modellierung, Spezifikation und Semantik
      2. Lecture: SDPA
      3. Graduate Seminar
      4. Project Lab: Dynamo
      5. Seminar: CTPS
    3. 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
    4. Archive
      1. Winter Term 2016/17
        1. Modellierung, Spezifikation und Semantik
        2. Graduate Seminar
        3. Seminar: CSF
        4. Seminar: FormSpec
        5. Project Lab: Dynamo
      2. Summer Term 2016
        1. Lecture: FMIS
          1. Internal Area
        2. Graduate Seminar
        3. Lab: RSSMD
        4. Seminar: CTCP
        5. Seminar: SCAS
      3. 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
      4. Summer Term 2015
        1. Lecture: FMIS
        2. Graduate Seminar
        3. Lab: Dynamo
        4. Lab: RSSMD
        5. Seminar: Current Topics
        6. Seminar: SCAS
      5. 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
      6. Summer Term 2014
        1. Lecture: FMIS
        2. Graduate Seminar
      7. Winter Term 2013/14
        1. Foundations of Computing
        2. Graduate Seminar
        3. Modeling Lab
        4. Seminar: Formal Specification
        5. Seminar: Current Topics
      8. 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
      9. 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
      10. Summer Term 2012
        1. Lecture: FMIS
        2. Graduate Seminar
        3. Lab: Secure Coding
        4. Lab: SSMD
        5. Seminar: SSMD
        6. Seminar: Current Topics
      11. 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
      12. Summer Term 2011
        1. Lecture: FMIS
        2. Graduate Seminar
        3. PCC Lab
        4. PCC Seminar
        5. Seminar: Current Topics
        6. Runtime Monitoring
      13. Winter Term 2010/11
        1. Graduate Seminar
        2. Einführung in Foundations of Computing
        3. RSCP-Seminar
        4. Modellierungspraktikum
        5. Formale Spezifikation
      14. Summer Term 2010
        1. Lecture: FMIS
        2. Graduate Seminar MAIS
        3. PCC Lab
        4. PCC Seminar
        5. SecEng Seminar
        6. Oberseminar Formale Methoden
      15. 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
      16. Summer Term 2009
        1. Oberseminar Formale Methoden
      17. Winter Term 2008/09
        1. Foundations of Computing
          1. Lehrmaterial
        2. Formale Spezifikation
        3. Modellierungspraktikum
        4. Analyse von Sicherheitsprotokollen
        5. Oberseminar Formale Methoden
      18. Summer Term 2008
        1. Form. Meth. Inf.-Sec.
        2. PCC Lab
        3. PCC Seminar
        4. Graduate Seminar
        5. Form. Spez. & Ana.
      19. 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
      20. Summer Term 2007
        1. Network Security
        2. Form. Meth. Inf.-Sec.
      21. Winter Term 2006/07
        1. Quantitative Security
        2. FMIS (Advanced)
      22. Summer Term 2006
        1. F. Methods f. Inf. Sec.
      23. Winter Term 2005/06
        1. Cur. Topics in Inf. Sec.
        2. Network Security
    5. Studying abroad
  5. Open Positions
    1. Postdoc and Ph.D. Positions
    2. Student Positions
  6. Contact
    1. Directions
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang