Thomas Bauereiss

I'm a research associate in the group of Peter Sewell, working in the REMS project on the formal modelling and verification of Instruction Set Architectures. Previously, I was working on techniques for verifying information flow security at DFKI Bremen in the DFG priority programme Reliably Secure Software Systems (RS3).

Publications

Please also see DBLP for a complete list.

• CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.
  Thomas Bauereiss, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi
  In IEEE Symposium on Security and Privacy 2017, pp. 729-748
• CoSMed: A Confidentiality-Verified Social Media Platform
  Thomas Bauereiss, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi
  In ITP 2016, pp. 87-106
• Information flow control for workflow management systems
  Thomas Bauereiss, Dieter Hutter
  In it - Information Technology 56(6), pp. 294-299 (2014)
• Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS
  Thomas Bauereiss, Dieter Hutter
  In IFIP SEC 2014, pp. 250-263
• Possibilistic Information Flow Control for Workflow Management Systems
  Thomas Bauereiss, Dieter Hutter
  In GraMSec 2014, pp. 47-62

Contact

Mail: Thomas.Bauereiss@cl.cam.ac.uk
Office: FS17
Computer Laboratory
15 JJ Thomson Avenue
Cambridge, CB3 0FD, UK