Search for "Hans Block" returned 1110 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!

Attribution revolution
55 min

Attribution revolution

Turning copyright upside-down with metadata

Datahavens from HavenCo to Today
58 min

Datahavens from HavenCo to Today

Leaving legacy behind
52 min

Leaving legacy behind

Reducing carbon footprint of network services with MirageOS…

Implementing an LLVM based Dynamic Binary Instrumentation framework
60 min

Implementing an LLVM based Dynamic Binary Instrumentation framework

Baseband Exploitation in 2013
58 min

Baseband Exploitation in 2013

Hexagon challenges

HAL - The Open-Source Hardware Analyzer
60 min

HAL - The Open-Source Hardware Analyzer

A dive into the foundations of hardware reverse engineering…

It's the patriarchy, stupid
55 min

It's the patriarchy, stupid

Motivational Appeals to Overcome Biases in Technology Design (EN)
22 min

Motivational Appeals to Overcome Biases in Technology Design (EN)

Console Hacking 2016
53 min

Console Hacking 2016

PS4: PC Master Race

Funky File Formats
51 min

Funky File Formats

Advanced binary tricks

No source, no problem! High speed binary fuzzing
59 min

No source, no problem! High speed binary fuzzing

Attacking end-to-end email encryption
60 min

Attacking end-to-end email encryption

Efail, other attacks and lessons learned.

Reverse engineering of CHIASMUS from GSTOOL
48 min

Reverse engineering of CHIASMUS from GSTOOL

It hurts.

Writing secure software
46 min

Writing secure software

using my blog as example

A Blockchain Picture Book
36 min

A Blockchain Picture Book

Blockchain origins and related buzzwords, described in…

Traue keinem Scan, den du nicht selbst gefälscht hast
63 min

Traue keinem Scan, den du nicht selbst gefälscht hast

"Bei Kopierern kommt das raus, was man reinsteckt." – Wer…

Human Geography with Open GIS as a Transformative Introductory Higher Education Course
28 min

Human Geography with Open GIS as a Transformative Introductory Higher Education Course

AlphaFold – how machine learning changed structural biology forever (or not?)
61 min

AlphaFold – how machine learning changed structural biology forever (or not?)

Getting first-hand insights into the impact of machine…

The challenges of Protected Virtualization
40 min

The challenges of Protected Virtualization

PLC-Blaster
58 min

PLC-Blaster

Ein Computerwurm für PLCs

Security Analysis of a Full-Body X-Ray Scanner
54 min

Security Analysis of a Full-Body X-Ray Scanner

Monitoring the Spectrum: Building Your Own Distributed RF Scanner Array
58 min

Monitoring the Spectrum: Building Your Own Distributed RF Scanner Array

World War II Hackers
54 min

World War II Hackers

Stalin's best men, armed with paper and pen

Hardening hardware and choosing a #goodBIOS
47 min

Hardening hardware and choosing a #goodBIOS

Clean boot every boot - rejecting persistence of malicious…