Search for "Jannis"
74 min
Einführung in die algorithmische Gruppentheorie
40 min
Ein Einblick in die Implementierung eines SAT-Solvers
78 min
Was sind SAT-Solver und wie verwende ich diese?
30 min
Über die (Un-)Sicherheit eines Bezahlsystems
42 min
Hierarchical decentralized naming system used since 30 years
59 min
Ein Streifzug durch die Fehler in der Kryptografie