Thomas Bauereiss

E-Mails 📧

• eman.ssiereuab @samoht

Entries

2021

Fresh identifiers

by Andrei Popescu 🌐 and Thomas Bauereiss 📧

Aug 16

CoSMeDis: A confidentiality-verified distributed social media platform

by Thomas Bauereiss 📧 and Andrei Popescu 🌐

Aug 16

CoSMed: A confidentiality-verified social media platform

by Thomas Bauereiss 📧 and Andrei Popescu 🌐

Aug 16

Compositional BD Security

by Thomas Bauereiss 📧 and Andrei Popescu 🌐

Aug 16

CoCon: A Confidentiality-Verified Conference Management System

by Andrei Popescu 🌐, Peter Lammich 📧 and Thomas Bauereiss 📧

Aug 16

2014

Bounded-Deducibility Security

by Andrei Popescu 🌐, Peter Lammich 🌐 and Thomas Bauereiss 📧

Apr 22