Search for "Andreas Bogk" returned 45 results

86 min
Certified programming with dependent types
Because the future of defense is liberal application of math

47 min
Bug class genocide
Applying science to eliminate 100% of buffer overflows

46 min
Signal Intelligence und Electronic Warfare
Wie man nach Hause telefoniert, ohne von einer Rakete…

46 min
Horch mal, wer da funkt
Signal Intelligence selbstgemacht

64 min
Defense is not dead
Why we will have more secure computers - tomorrow

61 min
Design and Implementation of an object-oriented, secure TCP/IP Stack
Ethereal^W Wireshark without remote exploits - a proof of…

59 min
Writing better code (in Dylan)
Fast development of object-oriented functional programs

111 min
Trusted or Treacherous?
Eine erste Einschätzung des neuen TCG1.2 Entwurfes.

79 min
Netzneutralität und QoS - ein Widerspruch?
Fakten auf den Tisch

117 min
CR214 - Hackerethik
Von moralischer Flexibilität und ihren Folgen

70 min
Der Bundestrojaner
Die Wahrheit haben wir auch nicht, aber gute Mythen

118 min
CR238: Informatik-Studium und -Ausbildung
Theorie und Praxis

105 min
Open Government
Anforderungen an das maschinenlesbare Staatswesen

59 min
Literarisches Code-Quartett
The good, the bad, and the ugly

60 min
Freedom needs fighters!
Wie die GFF mit strategischen Klagen für Freiheitsrechte…

57 min