Chaos Communication Camp 2011

Science

Full playlist: Video
Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math

Dudle
52 min

Dudle

Mehrseitig sichere Web 2.0-Umfragen

Hacking DNA
66 min

Hacking DNA

Compiling code for living systems

Ich und 23
33 min

Ich und 23

Fingerabdrücke der DNA

Introduction to Multicast Security
56 min

Introduction to Multicast Security

Beyond SSL/TLS

Poker bots
71 min

Poker bots

Developing and running autonomous pokerbots at online…

Stuff you don't see - every day
52 min

Stuff you don't see - every day

GNU Radio Internals - how to use the Framework

Who's snitching my milk?
36 min

Who's snitching my milk?

Nonlinear dynamics/analysis of vanishing bovine products in…

Windkraftanlagen
59 min

Windkraftanlagen

Aufbau, Betrieb, Probleme