Search for "Nicolas"

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

Ling - High level system programming
34 min

Ling - High level system programming

modular and precise resource management

The Right Track
58 min

The Right Track

A new approach to copyright in the digital world