Search for person "Nicolas Chevreux"

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

Security Evaluation of Russian GOST Cipher
59 min

Security Evaluation of Russian GOST Cipher

Survey of All Known Attacks on Russian Government…

Methodisch inkorrekt!
128 min

Methodisch inkorrekt!

Die Wissenschaftsgala vom 32C3

Methodisch inkorrekt!
113 min

Methodisch inkorrekt!

Die Wissenschaftsgala vom 33C3