Search for "14499" returned 403 results

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
61 min

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

“I feel like a criminal and I have to be god at the same time”
57 min

“I feel like a criminal and I have to be god at the same time”

Perceptions of hackers and hacktivists on their…

Rocket science – how hard can it be?
65 min

Rocket science – how hard can it be?

First steps into space with sounding rockets

Reproducible Builds
63 min

Reproducible Builds

Moving Beyond Single Points of Failure for Software…

Space Hacker
62 min

Space Hacker

Uploading rover...

Datahavens from HavenCo to Today
58 min

Datahavens from HavenCo to Today

Hacken, dass...?
120 min

Hacken, dass...?

Ack, die Wette gilt!

Inside Bundestag – Einblicke in das netzpolitische Nähkästchen einer Abgeordneten
67 min

Inside Bundestag – Einblicke in das netzpolitische Nähkästchen einer Abgeordneten

Gemeinwohl-orientierte Digitalisierung und der Verstehbahnhof Fuerstenberg
66 min

Gemeinwohl-orientierte Digitalisierung und der Verstehbahnhof Fuerstenberg

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes
69 min

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes

Die EU im Krisenmodus
74 min

Die EU im Krisenmodus

Was bedeutet das für die Zukunft

X Security
61 min

X Security

It's worse than it looks

Beyond your cable modem
60 min

Beyond your cable modem

How not to do DOCSIS networks

CloudABI
62 min

CloudABI

Pure capability-based security for UNIX

Hacker Jeopardy
95 min

Hacker Jeopardy

Zahlenraten für Geeks

Beyond the Tech: Building Internet Freedom Tools for Real People
62 min

Beyond the Tech: Building Internet Freedom Tools for Real People

Lightning Talks
87 min

Lightning Talks

Security Nightmares
90 min

Security Nightmares

Damit Sie auch morgen schlecht von Ihrem Computer träumen.…

Die EU und ihre Institutionen
60 min

Die EU und ihre Institutionen

Wikidata-Einführung + Wikidata Query Service Einführung
89 min

Wikidata-Einführung + Wikidata Query Service Einführung

Muntere Abendunterhaltung made in R3S
106 min

Muntere Abendunterhaltung made in R3S

Hacker Jeopardy
115 min

Hacker Jeopardy

Zahlenraten für Geeks

Fnord-Jahresrückblick
99 min

Fnord-Jahresrückblick

Wir helfen euch, die Fnords zu sehen!

SpinalHDL : An alternative hardware description language
45 min

SpinalHDL : An alternative hardware description language

Lightning Talks Day 2
103 min

Lightning Talks Day 2