Search for "Andreas Bogk" returned 45 results
86 min
Certified programming with dependent types
Because the future of defense is liberal application of math
46 min
Signal Intelligence und Electronic Warfare
Wie man nach Hause telefoniert, ohne von einer Rakete…
47 min
Bug class genocide
Applying science to eliminate 100% of buffer overflows
64 min
Defense is not dead
Why we will have more secure computers - tomorrow
46 min
Horch mal, wer da funkt
Signal Intelligence selbstgemacht
59 min
Writing better code (in Dylan)
Fast development of object-oriented functional programs
61 min
Design and Implementation of an object-oriented, secure TCP/IP Stack
Ethereal^W Wireshark without remote exploits - a proof of…
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
70 min
Der Bundestrojaner
Die Wahrheit haben wir auch nicht, aber gute Mythen
117 min
CR214 - Hackerethik
Von moralischer Flexibilität und ihren Folgen
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…
43 min
Repair-Cafés
… und warum ihr dabei mitmachen solltet
57 min