27C3 - Version 1.6.3
27th Chaos Communication Congress
We come in peace
| Referenten | |
|---|---|
|
Andreas Bogk |
| Programm | |
|---|---|
| Tag | Day 2 - 2010-12-28 |
| Raum | Saal 2 |
| Beginn | 18:30 |
| Dauer | 01:00 |
| Info | |
| ID | 4123 |
| Veranstaltungstyp | Vortrag |
| Track | Hacking |
| Sprache der Veranstaltung | englisch |
| Feedback | |
|---|---|
|
Haben Sie diese Veranstaltung besucht? Feedback abgeben |
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.