Publications

Page 1 of 1.

Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu; Franco Raimondi
CoSMed: A Confidentiality-Verified Social Media Platform
In: Journal of Automated Reasoning (JAR), Vol. 61, No. 1-4, Pages 113-139, Springer, Heidelberg, 12/2017.
Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu; Franco Raimondi
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
In: 2017 IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP-17), May 22-24, San Jose, CA, USA, IEEE, 2017.
Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu; Franco Raimondi
CoSMed: A Confidentiality-Verified Social Media Platform
In: Jasmin Christian Blanchette; Stephan Merz (Hrsg.). Interactive Theorem Proving. International Conference on Interactive Theorem Proving …
Thomas Bauereiß; Dieter Hutter
Information Flow Control for Workflow Management Systems
In: Heiko Mantel (Hrsg.). IT - information technology (IT), Vol. 6/2014, Pages 294-299, De Gruyter, Berlin, 12/2014.
Thomas Bauereiß; Dieter Hutter; Stefan Gohmann; Alexander Kläser
Security Meets LDAP Multi-Master Replication
In: ANTONIO MUÑOZ; ERNESTO DAMIANI (Hrsg.). Third ASE International Conference on Cyber Security . International Workshop on Cloud Security …
Thomas Bauereiß; Dieter Hutter
Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS
In: F. Cuppens; N. Cuppens-Boulahia (Hrsg.). IFIP SEC 2014 International Information Security and Privacy Conference. IFIP International Information …
Thomas Bauereiß; Dieter Hutter
Possibilistic information flow security of workflow management systems
In: First International Workshop on Graphical Models for Security. International Workshop on Graphical Models for Security (GramSec-2014), located at …
Thomas Bauereiß; Stefan Gohmann; Dieter Hutter; Alexander Kläser
Selective LDAP Multi-Master Replication
In: Proceedings Open Identity Summit 2013. Open Identity Summit (OID-2013), September 9-11, Kloster Banz, Germany, Lecture Notes in Informatics (LNI), …