OggS ! 8iOpusHead8 OggS ! tsOpusTags
Lavf57.83.100
LANGUAGE=eng HANDLER_NAME=SoundHandler ENCODER=Lavc57.107.100 libopus MAJOR_BRAND=isom MINOR_VERSION=512" COMPATIBLE_BRANDS=isomiso2avc1mp41 AUTHOR=Peter Sewell
GENRE=lecture@ TITLE=Taming the Chaos: Can we build systems that actually work?S COPYRIGHT=Licensed to the public under https://creativecommons.org/licenses/by/4.0/' ALBUM=35th Chaos Communication Congress ARTIST=Peter Sewell description=We rely on mainstream computer engineering every day, but it's insanely complex, poorly understood, unreliable, and, as CCC reminds us every year, chronically insecure. This talk will explain some ways that we can do better: taming parts of this this chaos with precise understanding - illustrated with disturbing facts and clean models for current architectures and the C language, from the REMS project, and principled but pragmatic new alternatives, that build in more hardware and software security protection,as developed in the CHERI project.OggS ! '{Mx]nmhf%U5p"P`o-v4:c⥨=3R疫xXz:W^bcV
v/g'w?CyQ;B@*nSm7J.&ro&WH\{!;5bN 'wZ7 ;9+k\fe
l*աK-5K7;uQ@#s6MͰ Ӷ
Є|!m= 8
"d9i-,ViȯP]hrGkuIP֤{h':)^PRr {L:ڞj's)4,ŲQ:>'WCR]9g.}?Lg|+(It]y2*{K0X!Ӷ#V