Search for person "Nicolas Wöhrl"

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…