Search for person "David Georg Reichelt"

When hardware must „just work“
58 min

When hardware must „just work“

An inside look at x86 CPU design

Little Services, Big Risks
34 min

Little Services, Big Risks

Extending capability-based security models to achieve…

Trustworthy secure modular operating system engineering
61 min

Trustworthy secure modular operating system engineering

fun(ctional) operating system and security protocol…

Practical Mix Network Design
46 min

Practical Mix Network Design

Strong metadata protection for asynchronous messaging