Search for "tim" returned 6248 results

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!

Vom NoT (Network of Things) zum IoT (Internet of Things)
50 min

Vom NoT (Network of Things) zum IoT (Internet of Things)

Warum die IoT Insellösungen in Deutschland keine Zukunft…

WikiCite: Wikidata as a structured repository of bibliographic data
52 min

WikiCite: Wikidata as a structured repository of bibliographic data

Erstellung von Karten mit OSM-Daten
16 min

Erstellung von Karten mit OSM-Daten

IT-Infrastruktur aus der Wolke – Segen oder Leid für Unternehmen?
43 min

IT-Infrastruktur aus der Wolke – Segen oder Leid für Unternehmen?

Imaginäres Eigentum
60 min

Imaginäres Eigentum

Kritik am geistigen Eigentum aus der naturrechtlichen…

Why are computers so @#!*, and what can we do about it?
59 min

Why are computers so @#!*, and what can we do about it?

In Soviet Russia Smart Card Hacks You
38 min

In Soviet Russia Smart Card Hacks You

Data Mining for Good
26 min

Data Mining for Good

Using random sampling, entity resolution, communications…

U2Fishing: Potential Security Threat Introduced by U2F Key Wrapping Mechanism
28 min

U2Fishing: Potential Security Threat Introduced by U2F Key Wrapping Mechanism

net neutrality: days of future past?
60 min

net neutrality: days of future past?

Taking stock after two years of net neutrality in the…

Zivilgesellschaft in der Digitalpolitik
60 min

Zivilgesellschaft in der Digitalpolitik

Rhetorische Selbstsabotage: Was eigentlich passiert, wenn wir reden
56 min

Rhetorische Selbstsabotage: Was eigentlich passiert, wenn wir reden

Einige Gedanken über Stimme und wie wir sagen können, was…

c3 NewsShow + Brennpunkt "Flaschen"
21 min

c3 NewsShow + Brennpunkt "Flaschen"

Tag 3

Chaos Communication Camp 2023 Opening
23 min

Chaos Communication Camp 2023 Opening

Digital selves, digital work & digital labor
42 min

Digital selves, digital work & digital labor

Digitale Befreiung
37 min

Digitale Befreiung

Entwicklungshilfe für kritisches Bewusstsein in der…

Full AACSess: Exposing and exploiting AACSv2 UHD DRM for your viewing pleasure
59 min

Full AACSess: Exposing and exploiting AACSv2 UHD DRM for your viewing pleasure

Inside Intel Management Engine
51 min

Inside Intel Management Engine

Kostet die Digitalisierung die Welt? Zum Strom- und Ressourcenbedarf der Digitalisierung
90 min

Kostet die Digitalisierung die Welt? Zum Strom- und Ressourcenbedarf der Digitalisierung

Schlanke OCI Container
36 min

Schlanke OCI Container

Killerroboter, Künstliche Intelligenz und Kryptographie: Regulierung und Design von Dual-use Technologien
45 min

Killerroboter, Künstliche Intelligenz und Kryptographie: Regulierung und Design von…

Geschichten aus der Cobol Gruft
36 min

Geschichten aus der Cobol Gruft

»Der Traum von der Digitalen Unsichtbarkeit oder Rede an den kleinen digitalen Mann« / »The Dream of Digital Invisibility or Speech to the Little Digital Man«
26 min

»Der Traum von der Digitalen Unsichtbarkeit oder Rede an den kleinen digitalen Mann« /…

Geodaten in der Wikipedia
26 min

Geodaten in der Wikipedia

Ein Update 2017