Search for "Nicolas Pouillard" returned 2 results

49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

• 49 min
• 2013-12-28
• 122
• Nicolas Pouillard
30C3

34 min

Ling - High level system programming

modular and precise resource management

• 34 min
• 2015-12-28
• 7.4k
• Nicolas Pouillard
32C3: gated communities