Smart Service Engineering

Seite 1 von 1.

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.

2. 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.

3. 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 (ITP-2016), 7th, August 22-27, Nancy, France, Pages 87-106, LNCS, Vol. 9807, Springer, 8/2016.

4. 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.

5. 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 (IWOCS-2014), located at Third ASE International Conference on Cyber Security , May 27-31, Stanford, CA, USA, ASE Open Scientific Digital Library, 6/2014.

6. 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 Security and Privacy Conference (SEC-2014), June 2-4, Marrakech, Morocco, Pages 250-256, IFIP Advances in Information and Communication Technology, Springer, 2014.

7. 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 European Joint Conferences on Theory and Practice of Software, April 5-13, Grenoble, France, EPTCS, Vol. 148, Electronic Proceedings in Theoretical Computer Science, 2014.

8. 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), Springer, 2013.

• 1