News

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 Software).
  • "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
New technical report on RIFLThe definition of version 1.1 of RIFL, the RS3 Information-Flow Specification Language, has been published in the technical report "RIFL 1.1: A Common Specification Language for Information-Flow Requirements" by Thomas Bauereiß, Simon Greiner, Mihai Herda, Michael Kirsten, Ximeng Li, Heiko Mantel, Martin Mohr, Matthias Perner, David Schneider, and Markus Tasch.
21.08.17
New APLAS publicationThe paper "Taming Message-passing Communication in Compositional Reasoning about Confidentiality" by Ximeng Li, Heiko Mantel, and Markus Tasch has been accepted for publication at APLAS 2017 (the Asian Symposium on Programming Languages and Systems).
15.08.17
Guest: Rob van GlabbeekRob van Glabbeek from Data61/University of New South Wales in Sydney is visiting MAIS on July 19. He is giving the talk "Modeling Shared Variable Concurrency in Process Algebra" in a special session of the MAIS Graduate Seminar in room E302 at 17:00.
16.07.17

Older news

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

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