Thomas Bauereiß

According to our database1, Thomas Bauereiß authored at least 11 papers between 2010 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019
Composition and Declassification in Possibilistic Information Flow Security.
PhD thesis, 2019

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang., 2019

2018
CoSMed: A Confidentiality-Verified Social Media Platform.
J. Autom. Reason., 2018

2017
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.
Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2014
Information flow control for workflow management systems.
it Inf. Technol., 2014

Possibilistic Information Flow Control for Workflow Management Systems.
Proceedings of the Proceedings First International Workshop on Graphical Models for Security, 2014

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS.
Proceedings of the ICT Systems Security and Privacy Protection, 2014

Security (Hyper-)properties in Workflow Systems: From Specification to Verification.
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.
Proceedings of the Open Identity Summit 2013, September 9th, 2013

2010
Static Preference Models for Options with Dynamic Extent.
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010


  Loading...