Search for "Nicolas Pouillard"

34 min

Ling - High level system programming

modular and precise resource management

• 34 min
• 2015-12-28
• 7342
• Nicolas Pouillard

32C3: gated communities

49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

• 49 min
• 2013-12-28
• 73
• Nicolas Pouillard

30C3