News

New PostDoc Görkem KilinçWe welcome Görkem Kilinç, who joined us on November 15, as a new PostDoc in our group!
15.11.17
Richard Gay has successfully defended his PhD thesisWe are proud to announce that Richard Gay has successfully defended his PhD thesis on "A Generic Framework for Enforcing Security in Distributed Systems".
27.10.17
Presentation of research resultsProf. 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
22.09.17
Pictures of the RS3 Final Event onlineImpressions 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.
18.09.17
New FPS publicationsThe 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

18.09.17
RS3 Final Event in DarmstadtOn 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
08.09.17
FoMSESS Annual Meeting at TU DarmstadtOn 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.
08.09.17
New NordSec publicationThe 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).
07.09.17
FoMSESS Annual Meeting to take place in DarmstadtOn September 7, the 14th annual meeting of FoMSESS (the group of the German Informatics Society on "Formal Methods and Software Engineering for Secure Systems") will be hosted by MAIS at TU Darmstadt.
03.09.17
RS3 Final Event to take place in DarmstadtOn 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, will take place at Jagdschloss Kranichstein in Darmstadt. The program will feature 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 will be Lujo Bauer, Jorge Cuéllar, Philippa Gardner, Fabio Massacci, Carroll Morgan, Ravi Sandhu, Fred B. Schneider, and Tomasz Truderung.
02.09.17

Older news

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

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