According to our database1, Thomas Bauereiß authored at least 11 papers between 2010 and 2020.
Legend:Book In proceedings Article PhD thesis Other
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
PhD thesis, 2019
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.
Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017
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
Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), 2014
Proceedings of the Open Identity Summit 2013, September 9th, 2013
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010