Open position for a secretary - 02.02.18We currently have an open position for a secretary for our group. Details are available at the Open Positions page.

Open positions for Ph.D. candidates - 27.11.17We are currently looking for Ph.D. candidates in the SF 4.0 project.

New PostDoc Görkem Kılınç - 15.11.17We welcome Görkem Kılınç, who joined us on November 15, as a new PostDoc in our group!

Richard Gay has successfully defended his PhD thesis - 27.10.17We are proud to announce that Richard Gay has successfully defended his PhD thesis on "A Generic Framework for Enforcing Security in Distributed Systems".

Presentation of research results - 22.09.17Prof. Dr. Heiko Mantel will talk at multiple universities at the US East Coast. He will present research results from the projects CROSSING, RS3 and CRISP:
September 26th, University of Pennsylvania
September 28th, Cornell Tech
September 29th, Stevens Institute of Technology
October 5th, Harvard University

Pictures of the RS3 Final Event online - 18.09.17Impressions from the final event of the DFG priority program Reliably Secure Software Systems (RS3) that was organized by Prof. Heiko Mantel and took place in Darmstadt on September 4-6 are now online.

New FPS publications - 18.09.17The following articles have been accepted for publication at FPS 2017 (the International Symposium on Foundations & Practice of Security).
  • "Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics" by Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, and Alexandra Weber
  • "Relationship-Based Access Control for Resharing in Decentralized Online Social Networks" by Richard Gay, Jinwei Hu, Heiko Mantel, and Sogol Mazaheri

RS3 Final Event in Darmstadt - 08.09.17On September 4-6, the final event of the DFG priority program Reliably Secure Software Systems (RS3) that has been coordinated since 2010 by Prof. Heiko Mantel, took place at Jagdschloss Kranichstein in Darmstadt. The program featured presentations of the results of all RS3 projects as well as the case studies in the joint application scenarios and a panel discussion on "Formal Methods in Information Security". The keynote speakers at the event were Lujo Bauer, Jorge Cuéllar, Philippa Gardner, Fabio Massacci, Carroll Morgan, Ravi Sandhu, Fred B. Schneider, and Tomasz Truderung.
Press release by TU Darmstadt
Press release by the Computer Science department

FoMSESS Annual Meeting at TU Darmstadt - 08.09.17On September 7, the 14th annual meeting of FoMSESS (the group of the German Informatics Society on "Formal Methods and Software Engineering for Secure Systems") was hosted by MAIS at TU Darmstadt.

New NordSec publication - 07.09.17The article "Towards Accelerated Usage Control based on Access Correlations" by Richard Gay, Jinwei Hu, Heiko Mantel, and Johannes Schickel has been accepted for publication at NordSec 2017 (the Nordic Conference on Secure IT Systems).

Older news













A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang