Search for person "Dr Nicolas T. Courtois"

Security Evaluation of Russian GOST Cipher
59 min

Security Evaluation of Russian GOST Cipher

Survey of All Known Attacks on Russian Government…

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

Ling - High level system programming
34 min

Ling - High level system programming

modular and precise resource management

The Realm of Too Many Options
47 min

The Realm of Too Many Options

Write, record, mix and actually finish your music

Methodisch inkorrekt!
128 min

Methodisch inkorrekt!

Die Wissenschaftsgala vom 32C3