Thomas Bauereiss
2021
CoSMeDis: A confidentiality-verified distributed social media platform
by Thomas Bauereiss and Andrei Popescu
CoSMed: A confidentiality-verified social media platform
by Thomas Bauereiss and Andrei Popescu
Compositional BD Security
by Thomas Bauereiss and Andrei Popescu
CoCon: A Confidentiality-Verified Conference Management System
by Andrei Popescu, Peter Lammich and Thomas Bauereiss
2014
Bounded-Deducibility Security
by Andrei Popescu, Peter Lammich and Thomas Bauereiss