A Formal Language for Cryptographic Pseudocode. - Michael Backes 001; Matthias Berg; Dominique Unruh (LPAR, 2008)

Non-uniform distributions in quantitative information-flow. - Michael Backes 001; Matthias Berg; Boris Köpf (AsiaCCS, 2011)

Verified Security of Merkle-Damgård. - Michael Backes 001; Gilles Barthe; Matthias Berg; Benjamin Grégoire; César Kunz; Malte Skoruppa; Santiago Zanella-Béguelin (CSF, 2012)

Diffusion-Based Image Compression in Steganography. - Markus Mainberger; Christian Schmaltz; Matthias Berg; Joachim Weickert; Michael Backes 001 (ISVC (2), 2012)

Formal verification of cryptographic security proofs. - Matthias Berg (2013)

Wohnen im Alter - Beraten bevor es zu spät ist. - Simon André Scherr; Matthias Berg (MuC (Workshopband), 2020)

Digital Communication to Compensate for Social Distancing - Results of a Survey on the Local Communication App DorfFunk. - Matthias Berg; Anne Hess; Matthias Koch (HCI (3), 2021)

A Methodology to enhance Learning Processes with Augmented Reality Glasses. - Tobias Dreesbach; Matthias Berg; Henning Gösling; Tobias Walter; Oliver Thomas 001; Julia Knopf (Wirtschaftsinformatik, 2021)

Modellierung von Lernprozessen für Augmented-Reality-Brillen in der technischen Aus- und Weiterbildung. - Matthias Berg; Tobias Dreesbach; Katharina Bonaventura; Julia Knopf; Oliver Thomas 001 (DELFI, 2022)

Ageing Smart DSS: Spatial Decision-Support-System für die kommunale Planung. - Matthias Berg; Benjamin Hassenfratz (BTW Workshops, 2025)