The Curious Engineer

All blogs / OS / kernel

microkerneldude

microkerneldude.org

Random rants and pontifications by Gernot Heiser

OS / kernelSecurityEmbedded / microcontrollersPerformance / optimization

’10’15’20’25
Posts
71 from 9 Jan 2008 to 27 Apr 2025
Posting
now and then
Kind
personal blog
Feed
https://microkerneldude.org/feed/

2025 1

  1. Benchmarking Crimes Meet Formal Verification

2024 1

  1. GoFetch: Will people ever learn?

2022 3

  1. ML accelerates the cyber arms race — we need real security more than ever
  2. TS in 2022: We’re Back!
  3. A Story of Betrayal: CSIRO’s War On TS

2021 6

  1. Dishonest and Contradictory: Fact-Checking CSIRO’s Communications about the Trustworthy Systems Group
  2. Where is seL4 Heading?
  3. seL4 Integrity Enforcement Proved for RISC-V
  4. There’s more to it, Dr Marshall!
  5. “Trustworthy Systems Research is Done” – Are You Kidding, CSIRO?
  6. seL4 on RISC-V Verified to Binary Code

2020 4

  1. No Safety without (Cyber-)Security!
  2. seL4 is verified on RISC-V!
  3. The seL4 Foundation – What and Why
  4. seL4 Design Principles

2019 4

  1. What does seL4’s license imply?
  2. Can seL4 reduce the cost of satellites?
  3. 10 Years seL4: Still the Best, Still Getting Better
  4. How to (and how not to) use seL4 IPC

2018 2

  1. Microkernels Really Do Improve Security
  2. Insecure by design – lessons from the Meltdown and Spectre debacle

2016 2

  1. Verified software can (and will) be cheaper than buggy stuff
  2. So, the FBI cracked the iPhone. With a zero-day and hardware?

2015 3

  1. How to steal encryption keys: Your cloud is not as secure as you may think!
  2. Whither ERA?
  3. Peer Review: Anonymity should not be at the expense of transparency

2014 16

  1. Security Fiasco: Why small is necessary but not sufficient for security
  2. Cyber-security: We must and can do better!
  3. OK Labs Story Epilogue
  4. OK Labs Story (9): The End Game
  5. OK Labs Story (8): Competitors and Markets
  6. OK Labs Story (7): The Investors
  7. OK Labs Story (6): The Management Team
  8. OK Labs Story (5): Qualcomm
  9. OK Labs Story (4): The CTO
  10. OK Labs Story (3): The Engineers
  11. OK Labs Story (2): The CEO
  12. OK Labs Story (1): The Beginning
  13. RIP Open Kernel Labs, Welcome Cog Systems
  14. seL4 is finally free! Can you afford not to use it?
  15. Clarification on seL4 media reports
  16. Sense and Nonsense of Conference Rankings

2013 3

  1. Closing the gap: Real OS security finally in reach!
  2. When “persistent” storage isn’t
  3. Green computing through formal verification?

2012 6

  1. Giving it away? Part 2: On microkernels and the national interest
  2. Giving it away? Part 1: On Commercialisation of ICT IP
  3. Retracted papers – what happened at USENIX ATC’12?
  4. Where Andy is wrong about L4
  5. Automotive: the next frontier for virtualization
  6. RedBend: There’s nothing “optional” about virtual machine isolation

2011 1

  1. Hey VMware: Secure It Ain’t!

2010 3

  1. VMware MVP: What it really is
  2. VMware’s MVP—Encryption Doesn’t Make It Secure!
  3. Much Ado About Type-2

2009 8

  1. Why multicore needs virtualization
  2. Type-1 vs Type-2 — Does it matter?
  3. Context switching in context
  4. “There Were No Bugs!”
  5. Virtualization: Some get it, some don’t
  6. Microkernels 101
  7. Living in the past
  8. Benchmarks: How not to do them

2008 8

  1. Are microkernels and hypervisors converging?
  2. About Security: Singularity vs L4, Part 2
  3. Microkernels vs hypervisors
  4. Who is hacking your pacemaker? Or your brakes?
  5. Q: What is the difference between a microkernel?
  6. Trusted vs trustworthy computer systems
  7. OS Co-Location is NOT Virtualization!
  8. Dreamliner security issue highlights need for bullet-proof OS technology