Static Preference Models for Options with Dynamic Extent. - Thomas Bauereiß; Stefan Mandl; Bernd Ludwig (KI, 2010)

Selective LDAP Multi-Master Replication. - Thomas Bauereiss; Stefan Gohmann; Dieter Hutter; Alexander Kläser (Open Identity Summit, 2013)

Security (Hyper-)properties in Workflow Systems: From Specification to Verification. - Thomas Bauereiss; Dieter Hutter (ESSoS Doctoral Symposium, 2014)

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS. - Thomas Bauereiss; Dieter Hutter (SEC, 2014)

Possibilistic Information Flow Control for Workflow Management Systems. - Thomas Bauereiß; Dieter Hutter (GraMSec, 2014)

Information flow control for workflow management systems. - Thomas Bauereiß; Dieter Hutter (it Inf. Technol., 2014)

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees. - Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu 001; Franco Raimondi (IEEE Symposium on Security and Privacy, 2017)

CoSMed: A Confidentiality-Verified Social Media Platform. - Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu 001; Franco Raimondi (J. Autom. Reason., 2018)

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. - Alasdair Armstrong; Thomas Bauereiss; Brian Campbell 001; Alastair Reid 001; Kathryn E. Gray; Robert M. Norton; Prashanth Mundkur; Mark Wassell; Jon French; Christopher Pulte; Shaked Flur; Ian Stark; et al. (Proc. ACM Program. Lang., 2019)

Composition and Declassification in Possibilistic Information Flow Security. - Thomas Bauereiß (2019)

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. - Kyndylan Nienhuis; Alexandre Joannou; Thomas Bauereiss; Anthony C. J. Fox; Michael Roe; Brian Campbell 001; Matthew Naylor; Robert M. Norton; Simon W. Moore; Peter G. Neumann; Ian Stark; Robert N. M. Watson; et al. (SP, 2020)

Bounded-Deducibility Security (Invited Paper). - Andrei Popescu 001; Thomas Bauereiss; Peter Lammich (ITP, 2021)

Compositional BD Security. - Thomas Bauereiss; Andrei Popescu 001 (Arch. Formal Proofs, 2021)

CoSMeDis: A confidentiality-verified distributed social media platform. - Thomas Bauereiss; Andrei Popescu 001 (Arch. Formal Proofs, 2021)

CoSMed: A confidentiality-verified social media platform. - Thomas Bauereiss; Andrei Popescu 001 (Arch. Formal Proofs, 2021)

Fresh identifiers. - Andrei Popescu 001; Thomas Bauereiss (Arch. Formal Proofs, 2021)

CoCon: A Confidentiality-Verified Conference Management System. - Andrei Popescu 001; Peter Lammich; Thomas Bauereiss (Arch. Formal Proofs, 2021)

Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. - Thomas Bauereiss; Brian Campbell 001; Thomas Sewell; Alasdair Armstrong; Lawrence Esswood; Ian Stark; Graeme Barnes; Robert N. M. Watson; Peter Sewell (ESOP, 2022)

Relaxed exception semantics for Arm-A (extended version). - Ben Simner; Alasdair Armstrong; Thomas Bauereiss; Brian Campbell 001; Ohad Kammar; Jean Pichon-Pharabod; Peter Sewell (CoRR, 2024)

Precise exceptions in relaxed architectures. - Ben Simner; Alasdair Armstrong; Thomas Bauereiss; Brian Campbell 001; Ohad Kammar; Jean Pichon-Pharabod; Peter Sewell (ISCA, 2025)

Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture. - Angus Hammond; Ricardo Almeida 003; Thomas Bauereiss; Brian Campbell 001; Ian Stark; Peter Sewell (Proc. ACM Program. Lang., 2025)