Defense is not dead
- Type
- Video
- Tags
- security
- Authors
- Andreas Bogk
- Event
- Chaos Communication Congress 27th (27C3) 2010
- Indexed on
- Mar 27, 2013
- URL
- http://mirror.fem-net.de/CCC/27C3/mp4-h264-HQ/27c3-4123-en-defense_is_not_dead.mp4
- File name
- 27c3-4123-en-defense_is_not_dead.mp4
- File size
- 912.1 MB
- MD5
- 28ec3cecb6dbdd2463bbdbade458cbfd
- SHA1
- 3c562eeb2acf1a1512d824cc3f3810c4b6fdb2b8
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.
About us
Secdocs is a project aimed to index high-quality IT security and hacking documents. These are fetched from multiple data sources: events, conferences and generally from interwebs.
Statistics
Serving 8166 documents and 531.0 GB of hacking knowledge, indexed from 2419 authors from 163 security conferences.
Contribute
To support this site and keep it alive, you can click on the buttons below. Any help is really appreciated! This service is provided for free, but real money is needed to pay bills.
