Search for "Ike" returned 2649 results

Intro to Lean 4: A language at the intersection of programming and mathematics
60 min

Intro to Lean 4: A language at the intersection of programming and mathematics

Lightning Talks I
59 min

Lightning Talks I

What if locks could talk; what stories would they tell?
45 min

What if locks could talk; what stories would they tell?

Writing secure software
46 min

Writing secure software

using my blog as example

HOLY MUD! 🧙 161@KK141.art
4 min

HOLY MUD! 🧙 161@KK141.art

Another Approach to AI
21 min

Another Approach to AI

An approach to ethical AI focussed on transparency and…

An introduction to digital consent: Why a new definition with new tools and specifications are needed
58 min

An introduction to digital consent: Why a new definition with new tools and…

Radikale Therapie
50 min

Radikale Therapie

How the internet really works - What interferes with information traveling over the internet?
39 min

How the internet really works - What interferes with information traveling over the…

Digitaler Selbstschutz: Interaktives Material zum Lernen und Lehren
30 min

Digitaler Selbstschutz: Interaktives Material zum Lernen und Lehren

Wifi4EU - broken by technical specification
41 min

Wifi4EU - broken by technical specification

Digitalisierung, Wachstum und die Umwelt
25 min

Digitalisierung, Wachstum und die Umwelt

Security Retrospective of the last year
44 min

Security Retrospective of the last year

Not just Meltdown and Spectre

Make your tests fail
42 min

Make your tests fail

How randomisation adds a whole new dimension to finding…

How to host and access STAC Imagery using Google's gRPC Remote Procedure Call framework and Protobuf messages
24 min

How to host and access STAC Imagery using Google's gRPC Remote Procedure Call framework…

recheck and the Sorcerer's Stone: Turning Selenium into Adamantium
35 min

recheck and the Sorcerer's Stone: Turning Selenium into Adamantium

The Art And Science Of The Motivational Corporate Anthem
29 min

The Art And Science Of The Motivational Corporate Anthem

Building a Cloudless Smart Home with openHAB
51 min

Building a Cloudless Smart Home with openHAB

OONI: Let's Fight Internet Censorship, Together!
30 min

OONI: Let's Fight Internet Censorship, Together!

The Open Observatory of Network Interference

Zebro: building a six legged robot
18 min

Zebro: building a six legged robot

Milking the Digital Cash Cow
59 min

Milking the Digital Cash Cow

Extracting Secret Keys of Contactless Smartcards

Thwarting Evil Maid Attacks
58 min

Thwarting Evil Maid Attacks

Physically Unclonable Functions for Hardware Tamper…

it's borked - programming was a mistake
24 min

it's borked - programming was a mistake

Dutch Fun! (damentals)
81 min

Dutch Fun! (damentals)

KTRW: The journey to build a debuggable iPhone
54 min

KTRW: The journey to build a debuggable iPhone