Search for person "Andreas Herrmann"

Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math

How I Learned to Stop Reinventing and Love the Wheels
57 min

How I Learned to Stop Reinventing and Love the Wheels

or having FUN with (home/hackerspace) robotics

Quantified Self mit Wearable Devices und Smartphone-Sensoren
62 min

Quantified Self mit Wearable Devices und Smartphone-Sensoren

Daten über den eigenen Körper sammeln und auswerten

On Breaking SAML
23 min

On Breaking SAML

Be Whoever You Want to Be

BRAINREPUBLIC - Powered by MongoDB & Co.
55 min

BRAINREPUBLIC - Powered by MongoDB & Co.

Powered by MongoDB und RabbitMQ

EFI Rootkits
51 min

EFI Rootkits

Abusing your Firmware to backdoor the kernel

Flask
18 min

Flask

Wenn Django zu groß ist.

Quantum Computing: Are we there yet?
61 min

Quantum Computing: Are we there yet?

An introduction to quantum computing and a review of the…

Gehirnwellen für Hacker
31 min

Gehirnwellen für Hacker

Ein Bluetooth EEG Gerät mit Python ansprechen

Horch mal, wer da funkt
46 min

Horch mal, wer da funkt

Signal Intelligence selbstgemacht

Vertrauen ist gut, Kontrolle ist besser.
56 min

Vertrauen ist gut, Kontrolle ist besser.

Warum vertrauen wir eigentlich Zertifizierungsstellen?

Clean CSS
50 min

Clean CSS

Wie können Clean Code Prinzipien auf CSS angewendet werden?