Search for "mwarning"

Watching the changing Earth
33 min

Watching the changing Earth

warning: gravity ahead

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Teaching machines new tricks
53 min

Teaching machines new tricks

Machine learning: Silver bullet or route to evil?

Datengarten 74
73 min

Datengarten 74

Bitcoin: Privacy and Censorship Resistance Beyond the Web