Search for "Niclas" returned 97 results

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

Absicherung von Banktransaktionen
44 min

Absicherung von Banktransaktionen

Ein Bericht über Konzeption und Entwicklung eines Raspberry…

Ling - High level system programming
34 min

Ling - High level system programming

modular and precise resource management

Methodisch inkorrekt!
113 min

Methodisch inkorrekt!

Die Wissenschaftsgala vom 33C3

Methodisch inkorrekt!
115 min

Methodisch inkorrekt!

Die Wissenschaftsgala vom 34C3