Search for "vater" returned 1262 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!

Digital Rights in Europa
42 min

Digital Rights in Europa

A Modern Ticketing System for Communicating with Customers Efficiently
34 min

A Modern Ticketing System for Communicating with Customers Efficiently

Barrierefreiheit - Quo vadis?
61 min

Barrierefreiheit - Quo vadis?

32C3 Opening Event
60 min

32C3 Opening Event

New usages of Wikidata to support underserved language communities
26 min

New usages of Wikidata to support underserved language communities

Design and Implementation of a Secure Linux Device Encryption Architecture
52 min

Design and Implementation of a Secure Linux Device Encryption Architecture

A New Dark Age
57 min

A New Dark Age

Turbulence, Big Data, AI, Fake News, and Peak Knowledge

What is Good Technology?
55 min

What is Good Technology?

Answers & practical guidelines for engineers.

The Machine To Be Another
30 min

The Machine To Be Another

Exploring identity and empathy through neuroscience,…

A deep dive into the world of DOS viruses
38 min

A deep dive into the world of DOS viruses

Explaining in detail just how those little COM files…

Jailbreaking iOS
47 min

Jailbreaking iOS

From past to present

Squeezing a key through a carry bit
50 min

Squeezing a key through a carry bit

Shopshifting
60 min

Shopshifting

The potential for payment system abuse

Self-encrypting deception
58 min

Self-encrypting deception

weaknesses in the encryption of solid state drives (SSDs)

Swiss Cybervoting PIT(falls)
18 min

Swiss Cybervoting PIT(falls)

Hacking German Elections
63 min

Hacking German Elections

Insecure Electronic Vote Counting - How It Returned and Why…

Glimpse over Wikidata
30 min

Glimpse over Wikidata

Wikidata knowledge base completion using multilingual Wikipedia fact extraction
30 min

Wikidata knowledge base completion using multilingual Wikipedia fact extraction

Der 33 Jahrerückblick
26 min

Der 33 Jahrerückblick

Technology and Politics in Congress Talks, from 1984 to now

Eine kleine Geschichte der Parlamentsschlägerei
26 min

Eine kleine Geschichte der Parlamentsschlägerei

Schlagende Argumente, fliegende Fäuste

All the world’s GLAM institutions – and how we tried to find them
27 min

All the world’s GLAM institutions – and how we tried to find them

LatticeHacks
65 min

LatticeHacks

Fun with lattices in cryptography and cryptanalysis

Harry Potter and the Not-So-Smart Proxy War
35 min

Harry Potter and the Not-So-Smart Proxy War

Taking a look at a covert CIA virtual fencing solution

Matrix, the current status and year to date
39 min

Matrix, the current status and year to date