Chaos Communication Camp 2011

Certified programming with dependent types

Because the future of defense is liberal application of math

• 86 min
• 2011-08-12
• 239
• Andreas Bogk

Die psychologischen Grundlagen des Social Engineerings

• 65 min
• 2011-08-11
• 478
• Stefan Schumacher

Dudle

Mehrseitig sichere Web 2.0-Umfragen

• 52 min
• 2011-08-14
• 1599
• Benjamin Kellermann

Hacking DNA

Compiling code for living systems

• 66 min
• 2011-08-11
• 87
• Marc Juul

Ich und 23

Fingerabdrücke der DNA

• 33 min
• 2011-08-11
• 68
• Mirko Swillus

Introduction to Multicast Security

Beyond SSL/TLS

• 56 min
• 2011-08-14
• 39
• frehberg

Poker bots

Developing and running autonomous pokerbots at online…

• 71 min
• 2011-08-13
• 166
• Torbjörn Lofterud

Runtime Reconfigurable Processors

• 34 min
• 2011-08-12
• 56
• Dominik Meyer

Stuff you don't see - every day

GNU Radio Internals - how to use the Framework

• 52 min
• 2011-08-10
• 84
• Marius Ciepluch

Who's snitching my milk?

Nonlinear dynamics/analysis of vanishing bovine products in…

• 36 min
• 2011-08-11
• 45
• André Franz

Windkraftanlagen

Aufbau, Betrieb, Probleme

• 59 min
• 2011-08-12
• 234
• luky