Search for person "Gabriela Bogk"

CR214 - Hackerethik
117 min

CR214 - Hackerethik

Von moralischer Flexibilität und ihren Folgen

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…

Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math

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

Open Government
105 min

Open Government

Anforderungen an das maschinenlesbare Staatswesen

Der Bundestrojaner
70 min

Der Bundestrojaner

Die Wahrheit haben wir auch nicht, aber gute Mythen

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.