## 2023

##### MLSS Decision Procedure

by Lukas Stevens
May 05

## 2021

##### 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

##### CoCon: A Confidentiality-Verified Conference Management System

by Andrei Popescu, Peter Lammich and Thomas Bauereiss
Aug 16

## 2018

##### First-Order Terms

by Christian Sternagel and René Thiemann
Feb 06