Archive for October, 2012

• Recent Posts

  • seL4 is verified on RISC-V!
  • The seL4 Foundation – What and Why
  • seL4 Design Principles
  • What does seL4’s license imply?
  • Can seL4 reduce the cost of satellites?
  • 10 Years seL4: Still the Best, Still Getting Better
  • How to (and how not to) use seL4 IPC
  • Microkernels Really Do Improve Security
  • Insecure by design – lessons from the Meltdown and Spectre debacle
  • Verified software can (and will) be cheaper than buggy stuff

• Categories

  • academia
  • embedded systems
  • Open Kernel Labs
  • operating systems and virtualization
  • politics and society
  • safety and security
  • seL4

• Archives

  • June 2020
  • April 2020
  • March 2020
  • December 2019
  • November 2019
  • August 2019
  • March 2019
  • August 2018
  • February 2018
  • June 2016
  • April 2016
  • April 2015
  • February 2015
  • December 2014
  • November 2014
  • October 2014
  • September 2014
  • August 2014
  • July 2014
  • May 2013
  • April 2013
  • March 2013
  • October 2012
  • September 2012
  • June 2012
  • February 2012
  • January 2012
  • September 2011
  • November 2010
  • October 2010
  • August 2009
  • July 2009
  • April 2009
  • March 2009
  • February 2009
  • July 2008
  • April 2008
  • March 2008
  • February 2008
  • January 2008