27C3 - Version 1.6.3

27th Chaos Communication Congress
We come in peace

Speakers
Andreas Bogk
Schedule
Day Day 2 - 2010-12-28
Room Saal 2
Start time 18:30
Duration 01:00
Info
ID 4123
Event type Lecture
Track Hacking
Language used for presentation English
Feedback

Defense is not dead

Why we will have more secure computers - tomorrow

The security model of our current computer architectures - kernel in ring 0, processes in ring 3 - goes back to the early 70s. However, science hasn't stopped.

This talk is going to look into the state of the art in building secure computers, with a focus on type systems and formal verification, and hopefully an outlook on how tomorrow's computers will be more secure than what you can buy now.