Search for person "Nicolas Angelo"

Practical Mac OS X Insecurity
52 min

Practical Mac OS X Insecurity

Security Concepts, Problems, and Exploits on Your Mac

Let's tear down these walls
46 min

Let's tear down these walls

"Mit Links" die Mauern Sozialer Netzwerke überwinden.

Linked Open Data
48 min

Linked Open Data

Warum "open" nicht genug ist und wir Daten verlinken müssen.

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