2011

September

• Hey VMware: Secure It Ain’t!

2010

November

• VMware MVP: What it really is

October

• VMware’s MVP—Encryption Doesn’t Make It Secure!
• Much Ado About Type-2

2009

November

• Fastest and most secure? In your dreams!

September

• Seamless Integration Across OSes — Sounds familiar. . .

August

• Why multicore needs virtualization
• Type-1 vs Type-2 — Does it matter?

June

• Competitor FUD: Device Drivers

May

• Energy management for mobile devices done right

April

• “There Were No Bugs!”

March

• Virtualization: Some get it, some don’t
• Microkernels 101
• Living in the past

February

• Benchmarks: How not to do them

2008

November

• What does CC EAL6+ mean?

October

• What does it mean that OKL4 is for embedded systems?
• Why not use enterprise hypervisors for embedded systems?

September

• Is there a difference between a virtual-machine monitor and a hypervisor?

August

• Security by Obscurity - Alive and Well at the Competition
• What are capabilities?
• OKL4 teaching slides published

July

• When does size matter?
• Muddying waters
• Are microkernels and hypervisors converging?

June

• TCB size is measured in LOC, not kB

May

• What is Secure HyperCell Technology?

April

• Virtualization Hardware Support—What Does It Buy You?
• About Security: Singularity vs L4, Part 2
• Interview with Gernot Heiser at Linuxconf.au Featured on builder.au - Video
• Microkernels vs hypervisors

March

• High-performance IPC: ARM9 vs ARM11
• Q: What is the difference between a microkernel?

February

• Microkernel, nanokernel - what’s the difference?
• Trusted vs trustworthy computer systems