Thomas Bauereiß

According to our database, Thomas Bauereiß authored at least 18 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Verified Security for the Morello Capability-enhanced Prototype Arm Architecture.

Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell

Proceedings of the Programming Languages and Systems, 2022

2021

CoCon: A Confidentiality-Verified Conference Management System.

Andrei Popescu, Peter Lammich, Thomas Bauereiss

Arch. Formal Proofs, 2021

Fresh identifiers.

Andrei Popescu, Thomas Bauereiss

Arch. Formal Proofs, 2021

CoSMed: A confidentiality-verified social media platform.

Thomas Bauereiss, Andrei Popescu

Arch. Formal Proofs, 2021

CoSMeDis: A confidentiality-verified distributed social media platform.

Thomas Bauereiss, Andrei Popescu

Arch. Formal Proofs, 2021

Compositional BD Security.

Thomas Bauereiss, Andrei Popescu

Arch. Formal Proofs, 2021

Bounded-Deducibility Security (Invited Paper).

Andrei Popescu, Thomas Bauereiss, Peter Lammich

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

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, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

Composition and Declassification in Possibilistic Information Flow Security.

Thomas Bauereiß

PhD thesis, 2019

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.

Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell

Proc. ACM Program. Lang., 2019

2018

CoSMed: A Confidentiality-Verified Social Media Platform.

Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi

J. Autom. Reason., 2018

2017

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.

Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2014

Information flow control for workflow management systems.

Thomas Bauereiß, Dieter Hutter

it Inf. Technol., 2014

Possibilistic Information Flow Control for Workflow Management Systems.

Thomas Bauereiß, Dieter Hutter

Proceedings of the Proceedings First International Workshop on Graphical Models for Security, 2014

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS.

Thomas Bauereiss, Dieter Hutter

Proceedings of the ICT Systems Security and Privacy Protection, 2014

Security (Hyper-)properties in Workflow Systems: From Specification to Verification.

Thomas Bauereiss, Dieter Hutter

Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), 2014

2013

Selective LDAP Multi-Master Replication.

Thomas Bauereiss, Stefan Gohmann, Dieter Hutter, Alexander Kläser

Proceedings of the Open Identity Summit 2013, September 9th, 2013

2010

Static Preference Models for Options with Dynamic Extent.

Thomas Bauereiß, Stefan Mandl, Bernd Ludwig

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010