Search for "Nicolas Pouillard"

49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

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

30C3

34 min

Ling - High level system programming

modular and precise resource management

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

32C3: gated communities