Search for "Nicolas Pouillard"

Ling - High level system programming
34 min

Ling - High level system programming

modular and precise resource management

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…