Search for "MaTu" returned 349 results

Specification-driven design
34 min

Specification-driven design

Cryptography is easy, but no magic. Use it. Wisely.
28 min

Cryptography is easy, but no magic. Use it. Wisely.

Thrust is not an Option: How to get to Mars really slow
60 min

Thrust is not an Option: How to get to Mars really slow

Datenethik in der »Smart City«
43 min

Datenethik in der »Smart City«

Getting software right with properties, generated tests, and proofs
62 min

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

Hacken Dicht
53 min

Hacken Dicht

Die Aftershow-Party

Erklärhaj baut eine Uhr
40 min

Erklärhaj baut eine Uhr

Domain computers have accounts, too!
40 min

Domain computers have accounts, too!

Owning machines through relaying and delegation

Yum Repo Server 2.0: Scale Out Yum Repositories
24 min

Yum Repo Server 2.0: Scale Out Yum Repositories

Embarrassingly Parallel
57 min

Embarrassingly Parallel

Intro to Realtime 3D Computer Graphics

Hide and seek ‒ über die Biometrie-Datenbank des US-Militärs
54 min

Hide and seek ‒ über die Biometrie-Datenbank des US-Militärs

The year in post-quantum crypto
70 min

The year in post-quantum crypto

„Wir beteiligen uns aktiv an den Diskussionen“
62 min

„Wir beteiligen uns aktiv an den Diskussionen“

Die digitale „Agenda“ der Bundesregierung aus inhaltlicher,…

Never Mind The Gig Work - Here's the Coffeebots
27 min

Never Mind The Gig Work - Here's the Coffeebots

Betrieb und Modifikationen einer eigenen Compiler-Explorer Instanz
62 min

Betrieb und Modifikationen einer eigenen Compiler-Explorer Instanz

Visualisierung und Analyse von Satellitenbildern mit der EnMAP-Box
47 min

Visualisierung und Analyse von Satellitenbildern mit der EnMAP-Box

Apple's iPhone 15: Under the C
36 min

Apple's iPhone 15: Under the C

Hardware hacking tooling for the new iPhone generation

Fantastic OPRFs and where to find them
45 min

Fantastic OPRFs and where to find them

The Critical Making Movement
60 min

The Critical Making Movement

How using critical thinking in technological practice can…

Crypto Wars Part II
60 min

Crypto Wars Part II

The Empires Strike Back

Closer Encounters - Finale
42 min

Closer Encounters - Finale

(Cyber-)Stalking: Wenn Grenzen verschwimmen
39 min

(Cyber-)Stalking: Wenn Grenzen verschwimmen

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…

Präsentation „Automatisierungs-Demystifizierungs-Diskurs-Maschine“
9 min

Präsentation „Automatisierungs-Demystifizierungs-Diskurs-Maschine“

Impuls von Dr. Stefan Ullrich zur partizipativen…

Treibhausgasemissionen einschätzen
48 min

Treibhausgasemissionen einschätzen

Wieviel CO2 macht <...>? Ungefähr?