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
Events for tag "10768"
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!
Resilience & Sustainability
Main
62 min
2019-12-29
1373
Mike Sperber
36C3: Resource Exhaustion