Archive for October, 2012

Advertisements

• Recent Posts

  • 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
  • So, the FBI cracked the iPhone. With a zero-day and hardware?
  • How to steal encryption keys: Your cloud is not as secure as you may think!
  • Whither ERA?
  • Peer Review: Anonymity should not be at the expense of transparency
  • Security Fiasco: Why small is necessary but not sufficient for security

• Categories

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

• Archives

  • 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