|
Change #5564
2011-01-26
15:06:43
|
create
Calagator::Event
1250459683
Galois Tech talk: Verifying seL4-based Systems
Roll back
| description |
nil |
→ |
Presented by Simon Winwood.
In 2009 the NICTA L4.verified project completed the machine-checked correctness proof of the seL4 microkernel. The natural next step is then to use this verified kernel to construct verified systems.
In this talk I give an overview of the ongoing work into systems verification in the Trustworthy Embedded Systems project. In particular, I will focus on the use of access control results to reason about the properties of systems in the presence of large untrusted components, such as a Linux kernel.
|
| end_time |
nil |
→ |
2011-02-01 11:30:00 -0800 |
| id |
nil |
→ |
1250459683 |
| start_time |
nil |
→ |
2011-02-01 10:30:00 -0800 |
| title |
nil |
→ |
Galois Tech talk: Verifying seL4-based Systems |
| url |
nil |
→ |
http://corp.galois.com/blog/2011/1/26/tech-talk-verifying-sel4-based-systems.html |
| venue_id |
nil |
→ |
202390439 |
|