Thomas Bauereiß

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 3

Top Topics

Workflow Management Systems

Information Flow Control

Top Venues

IEEE Symposium on Security and Privacy

it Inf. Technol.

Publications

Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi
CoSMed: A Confidentiality-Verified Social Media Platform. J. Autom. Reason. 61 (1-4) (2018)
Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees. IEEE Symposium on Security and Privacy (2017)
Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi
CoSMed: A Confidentiality-Verified Social Media Platform. ITP (2016)
Thomas Bauereiß, Dieter Hutter
Possibilistic Information Flow Control for Workflow Management Systems. GraMSec (2014)
Thomas Bauereiß, Dieter Hutter
Information flow control for workflow management systems. it Inf. Technol. 56 (6) (2014)
Thomas Bauereiß, Stefan Mandl, Bernd Ludwig
Static Preference Models for Options with Dynamic Extent. KI (2010)