Matthias Berg

According to our database, Matthias Berg authored at least 9 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Modellierung von Lernprozessen für Augmented-Reality-Brillen in der technischen Aus- und Weiterbildung.

Matthias Berg, Tobias Dreesbach, Katharina Bonaventura, Julia Knopf, Oliver Thomas

Proceedings of the DELFI 2022, 2022

2021

A Methodology to enhance Learning Processes with Augmented Reality Glasses.

Tobias Dreesbach, Matthias Berg, Henning Gösling, Tobias Walter, Oliver Thomas, Julia Knopf

Proceedings of the Innovation durch Informationssysteme, 2021

Digital Communication to Compensate for Social Distancing - Results of a Survey on the Local Communication App DorfFunk.

Matthias Berg, Anne Hess, Matthias Koch

Proceedings of the Human-Computer Interaction. Design and User Experience Case Studies, 2021

2020

Wohnen im Alter - Beraten bevor es zu spät ist.

Simon André Scherr, Matthias Berg

Proceedings of the Mensch und Computer 2020 - Workshopband, 2020

2013

Formal verification of cryptographic security proofs.

Matthias Berg

PhD thesis, 2013

2012

Diffusion-Based Image Compression in Steganography.

Markus Mainberger, Christian Schmaltz, Matthias Berg, Joachim Weickert, Michael Backes

Proceedings of the Advances in Visual Computing - 8th International Symposium, 2012

Verified Security of Merkle-Damgård.

Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Non-uniform distributions in quantitative information-flow.

Michael Backes, Matthias Berg, Boris Köpf

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011

2008

A Formal Language for Cryptographic Pseudocode.

Michael Backes, Matthias Berg, Dominique Unruh

Proceedings of the Logic for Programming, 2008