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 | |
|---|---|
|
Did you attend this event? Give 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.