Search for "Andreas Bogk"

Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math

Bug class genocide
47 min

Bug class genocide

Applying science to eliminate 100% of buffer overflows

Signal Intelligence und Electronic Warfare
46 min

Signal Intelligence und Electronic Warfare

Wie man nach Hause telefoniert, ohne von einer Rakete…

Defense is not dead
64 min

Defense is not dead

Why we will have more secure computers - tomorrow

Horch mal, wer da funkt
46 min

Horch mal, wer da funkt

Signal Intelligence selbstgemacht

Writing better code (in Dylan)
59 min

Writing better code (in Dylan)

Fast development of object-oriented functional programs

Trusted or Treacherous?
111 min

Trusted or Treacherous?

Eine erste Einschätzung des neuen TCG1.2 Entwurfes.

CR214 - Hackerethik
117 min

CR214 - Hackerethik

Von moralischer Flexibilität und ihren Folgen

Der Bundestrojaner
70 min

Der Bundestrojaner

Die Wahrheit haben wir auch nicht, aber gute Mythen

Open Government
105 min

Open Government

Anforderungen an das maschinenlesbare Staatswesen

How I Learned to Stop Reinventing and Love the Wheels
57 min

How I Learned to Stop Reinventing and Love the Wheels

or having FUN with (home/hackerspace) robotics

Freedom needs fighters!
60 min

Freedom needs fighters!

Wie die GFF mit strategischen Klagen für Freiheitsrechte…