On Mon, 17 Jan 2011 15:11:56 -0200 "Christiano F. Haesbaert" <[email protected]> wrote: > Isn't formal verification of code one of those > academic-impossible-to-do-in-real-world thing ?
It's very well possible, but not against current kernels. According to the talk they also propose a new OS design. Watch the video, it's really interesting... (the video "Is the SSLiverse a safe place?" was also nice) regards, Robert PS: infos: https://events.ccc.de/congress/2010/Fahrplan/events.en.html videos: ftp://ftp.ccc.de/congress/2010/
