Pinned Loading

1. MAThesis_DYStar_Protocols MAThesis_DYStar_Protocols Public

   DY*-Modelle der Protokolle Otway-Rees, Yahalom und Denning-Sacco als Teil der Master Thesis von Samuel Holderbach

   F*

2. MScAimnAhmed/OSM-Firefighter MScAimnAhmed/OSM-Firefighter Public

   Eine Projektarbeit Softwaretechnik an der Universität Stuttgart von Aimn Ahmed, Samuel Holderbach und Dominik Krenz. Betreut von Tobias Rupp und geprüft von Prof. Dr. Stefan Funke.

   Rust 2 1

3. Minorfinder Minorfinder Public

   Fork of Simon Tatham's Portable Puzzle Collection. The collection will be extended by a new puzle called minorfinder and is part of my bachelor thesis.

   C 1 1

4. TrailScout TrailScout Public

   EnPro SoSe 2022 @ Uni Stuttgart

   Rust