Search for person "Nicolas Pouillard"

Ling - High level system programming
34 min

Ling - High level system programming

modular and precise resource management

Methodisch inkorrekt!
115 min

Methodisch inkorrekt!

Die Wissenschaftsgala vom 34C3

Methodisch inkorrekt!
113 min

Methodisch inkorrekt!

Die Wissenschaftsgala vom 33C3

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…