System
Light
Dark
News
RSS, last 100
Podcast feed of the last two years
SD quality
Podcast audio feed of the last year
Podcast archive feed, everything older than two years
SD quality
News
RSS, last 100
Podcast feed of the last two years
SD quality
Podcast audio feed of the last year
Podcast archive feed, everything older than two years
SD quality
Search for "Nicolas Pouillard" returned 2 results
Sort by
Newest first
Oldest first
Relevance
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