Thomas Bauereiss

Fresh identifiers

by Andrei Popescu and Thomas Bauereiss

CoSMed: A confidentiality-verified social media platform

by Thomas Bauereiss and Andrei Popescu

CoSMeDis: A confidentiality-verified distributed social media platform

by Thomas Bauereiss and Andrei Popescu

CoCon: A Confidentiality-Verified Conference Management System

by Andrei Popescu, Peter Lammich and Thomas Bauereiss

Compositional BD Security

by Thomas Bauereiss and Andrei Popescu

Bounded-Deducibility Security

by Andrei Popescu, Peter Lammich and Thomas Bauereiss