Search for person "Andreas Bogk"

Certified programming with dependent types

Because the future of defense is liberal application of math

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

Keynote "Heart of Gold"

• 26 min
• 2010-05-24
• 33
• Andreas Bogk

Bug class genocide

Applying science to eliminate 100% of buffer overflows

• 47 min
• 2013-12-27
• 592
• Andreas Bogk

Signal Intelligence und Electronic Warfare

Wie man nach Hause telefoniert, ohne von einer Rakete…

• 46 min
• 2012-05-18
• 59
• Andreas Bogk

Horch mal, wer da funkt

Signal Intelligence selbstgemacht

• 46 min
• 2009-05-23
• 131
• Andreas Bogk

Defense is not dead

Why we will have more secure computers - tomorrow

• 64 min
• 2010-12-28
• 169
• Andreas Bogk

Writing better code (in Dylan)

Fast development of object-oriented functional programs

• 59 min
• 2005-12-27
• 66
• Hannes Mehnert and Andreas Bogk

Design and Implementation of an object-oriented, secure TCP/IP Stack

Ethereal^W Wireshark without remote exploits - a proof of…

• 61 min
• 2006-12-27
• 71
• Andreas Bogk and Hannes Mehnert

Trusted or Treacherous?

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

• 111 min
• 2003-12-27
• 48
• Rüdiger Weis and Andreas Bogk

Lobbying für Nerds

• 64 min
• 2004-12-29
• 4
• Markus Beckedahl, Andy Müller-Maguhn, Andreas Dietl and Andreas Bogk

Netzneutralität und QoS - ein Widerspruch?

Fakten auf den Tisch

• 79 min
• 2010-12-27
• 85
• Andreas Bogk, Falk Lüke, scusi and Uli Blumenthal

CR214 - Hackerethik

Von moralischer Flexibilität und ihren Folgen

• 117 min
• 2015-07-30
• 643
• Marcus Richter (Moderation), Andreas Bogk, danimo and erdgeist

Der Bundestrojaner

Die Wahrheit haben wir auch nicht, aber gute Mythen

• 70 min
• 2007-12-27
• 618
• Andreas Bogk, Constanze Kurz and Felix von Leitner

Jahresrückblick

• 118 min
• 2011-12-29
• 116
• Andreas Bogk, Constanze Kurz, Erdgeist and Frank Rieger

CR238: Informatik-Studium und -Ausbildung

Theorie und Praxis

• 118 min
• 2017-08-31
• 988
• Marcus Richter (Moderation), Andreas Bogk, Mutax and Tobias Fiebig

Open Government

Anforderungen an das maschinenlesbare Staatswesen

• 105 min
• 2009-05-22
• 30
• Andreas Bogk, Annette Mühlberg, Markus Beckedahl and Markus Heidmeier

Eröffnung

• 21 min
• 2003-12-27
• 289
• Tim Pritlove, Andy Müller-Maguhn, Frank Rosengart and Andreas Bogk

CCC-Jahresrückblick 2010

• 100 min
• 2010-12-29
• 127
• Andreas Bogk, Andy Müller-Maguhn, Constanze Kurz and Frank Rieger

openSUSE on ARM boards

• 29 min
• 2016-06-24
• 52
• Andreas Färber

Pipe Food

• 6 min
• 2019-05-26
• 46
• Victor and Andreas

QGIS-Kartografie-Verbesserungen 2019

• Geo OpenStreeetMap
• 23 min
• 2020-03-12
• 258
• Andreas Neumann

Closing Session

• OIO OpenInfrastructureOrbit
• 5 min
• 2019-12-30
• 527
• Andreas Bräu

Fuzz testing von SQL-Datenbanksystemen

• 42 min
• 2018-08-26
• 117
• Andreas Seltenreich

The 35C3 CTF Nokia phone challenge

• 75 min
• 2019-04-25
• 979
• Andreas Galauner

Spaziergang durch den Funkgerätewald

• 100 min
• 2016-04-18
• 4764
• Andreas DJ3EI