Search for "Peter Sewell" returned 7 results

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

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

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

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

CHERI and Arm Morello: mitigating the terrible legacy of memory-safety security issues, in practice at scale
30 min

CHERI and Arm Morello: mitigating the terrible legacy of memory-safety security issues,…

Taming the Chaos: Can we build systems that actually work?
58 min

Taming the Chaos: Can we build systems that actually work?

Possible paths from today's ghastly hackery to what…

Why Do We Anthropomorphize Computers?...
32 min

Why Do We Anthropomorphize Computers?...

...and dehumanize ourselves in the process?

Trustworthy secure modular operating system engineering
61 min

Trustworthy secure modular operating system engineering

fun(ctional) operating system and security protocol…

Open Source Orgelbau
37 min

Open Source Orgelbau