Reference 1
Videos: https://www.youtube.com/channel/UC6pXMS7qre9GZW7A7FVM90Q/videos
Missing Doug Tygar, from UC berkeley.
Awards.
104 out of 8xx. ~12%
Data oriented programming
xen altp2m
ptr -> hash -> key
Buddy allocator
context switch
read-only permissions from outside of xMP domain.
seL4: no trust on hardware; verified safe.
PSOS: layer ontop of layer; verify one layer ontop of a verified layer.
CHERI: security in market in 3~4 years.
taint ana across binaries over RPC.
data key. e.g. “QUERY_STRING”
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?