Search for person "Nicolas Wöhrl"

Ling - High level system programming
34 min

Ling - High level system programming

modular and precise resource management

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

The Pirate Cinema
29 min

The Pirate Cinema

Creating mash-up movies by hidden activity and geography of…

Security Evaluation of Russian GOST Cipher
59 min

Security Evaluation of Russian GOST Cipher

Survey of All Known Attacks on Russian Government…