27C3 - Version 1.6.3

27th Chaos Communication Congress
We come in peace

Andreas Bogk
Tag Day 2 - 2010-12-28
Raum Saal 2
Beginn 18:30
Dauer 01:00
ID 4123
Veranstaltungstyp Vortrag
Track Hacking
Sprache der Veranstaltung englisch

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.

Archived page - Impressum/Datenschutz