Computer Laboratory

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