Secure Coding mailing list archives

Provably correct microkernel (seL4)

From: gunnar at arctecgroup.net (Gunnar Peterson)
Date: Fri, 2 Oct 2009 14:21:24 -0500


design flaws.  So we have only removed 50% of the problem.


for my part there have been many, many days when I would settle for  
solving 50% of a problem

-gunnar

Current thread:

Provably correct microkernel (seL4) Wall, Kevin (Oct 01)
- Provably correct microkernel (seL4) Jeremy Epstein (Oct 02)
  - Provably correct microkernel (seL4) Dimitri DeFigueiredo (Oct 02)
    - Provably correct microkernel (seL4) Jeremy Epstein (Oct 02)
- Provably correct microkernel (seL4) ljknews (Oct 02)
- Provably correct microkernel (seL4) Cassidy, Colin (GE Infra, Energy) (Oct 02)
  - Provably correct microkernel (seL4) Gunnar Peterson (Oct 02)
    - Provably correct microkernel (seL4) Chris Wysopal (Oct 02)
- Provably correct microkernel (seL4) Johan Peeters (Oct 02)
- Provably correct microkernel (seL4) Steven M. Christey (Oct 02)
  - Provably correct microkernel (seL4) Wall, Kevin (Oct 02)
    - Provably correct microkernel (seL4) Johan Peeters (Oct 03)
- <Possible follow-ups>
- Provably correct microkernel (seL4) Bobby Miller (Oct 02)