Search for person "Andreas Dirks"

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

Moonbounce Radio Communication
48 min

Moonbounce Radio Communication

To the Moon and back in two seconds. The joy of light speed…

BRAINREPUBLIC - Powered by MongoDB & Co.
55 min

BRAINREPUBLIC - Powered by MongoDB & Co.

Powered by MongoDB und RabbitMQ

Operating Systems dissected
51 min

Operating Systems dissected

Was passiert im Hintergrund?

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

DECT
66 min

DECT

The Digital Enhanced Cordless Telecommunications standard

EU Policy on RFID & Privacy
60 min

EU Policy on RFID & Privacy

Developments 2007, Outlook 2008

Der Bundestrojaner
70 min

Der Bundestrojaner

Die Wahrheit haben wir auch nicht, aber gute Mythen

Secure Network Server Programming on Unix
45 min

Secure Network Server Programming on Unix

Techniques and best practices to securely code your network…

Homegrown Interactive Tables
45 min

Homegrown Interactive Tables

Any Technology Sufficiently Advanced is Indistinguishable…