corpus.blog
56,966 blogs · [ { "id": "01a087a5-97b7-725b-9680-1e9e11d88fa2", "title": "Benchmarking Crimes Meet Formal Verification", "url": "https://microkerneldude.org/2025/04/27/benchmarking-crimes-meet-formal-verification/", "published_at": "2025-04-27T01:06:37+00:00" }, { "id": "01a087a5-97b7-725b-9680-1e9e1284543f", "title": "GoFetch: Will people ever learn?", "url": "https://microkerneldude.org/2024/04/18/gofetch-will-people-ever-learn/", "published_at": "2024-04-18T03:48:17+00:00" }, { "id": "01a087a5-97b7-725b-9680-1e9e132ec159", "title": "ML accelerates the cyber arms race — we need real security more than ever", "url": "https://microkerneldude.org/2022/11/08/ml-accelerates-the-cyber-arms-race-we-need-real-security-more-than-ever/", "published_at": "2022-11-08T07:24:29+00:00" }, { "id": "01a087a5-97b7-725b-9680-1e9e13c72af0", "title": "TS in 2022: We’re Back!", "url": "https://microkerneldude.org/2022/03/22/ts-in-2022-were-back/", "published_at": "2022-03-21T22:33:30+00:00" }, { "id": "01a087a5-97b7-725b-9680-1e9e13ebd2cc", "title": "A Story of Betrayal: CSIRO’s War On TS", "url": "https://microkerneldude.org/2022/02/17/a-story-of-betrayal-csiros-war-on-ts/", "published_at": "2022-02-17T03:16:16+00:00" }, { "id": "01a087a5-97b7-725b-9680-1e9e149e2653", "title": "Dishonest and Contradictory: Fact-Checking CSIRO’s Communications about the Trustworthy Systems Group", "url": "https://microkerneldude.org/2021/11/17/dishonest-and-contradictory-fact-checking-csiros-communications-about-the-trustworthy-systems-group/", "published_at": "2021-11-16T23:17:07+00:00" }, { "id": "01a087a5-97b7-725b-9680-1e9e14e5fd58", "title": "Where is seL4 Heading?", "url": "https://microkerneldude.org/2021/09/28/where-is-sel4-heading/", "published_at": "2021-09-28T03:42:41+00:00" }, { "id": "01a087a5-97b7-725b-9680-1e9e15aba4ae", "title": "seL4 Integrity Enforcement Proved for RISC-V", "url": "https://microkerneldude.org/2021/08/04/sel4-integrity-enforcement-proved-for-risc-v/", "published_at": "2021-08-03T21:30:00+00:00" }, { "id": "01a087a5-97b7-725b-9680-1e9e1663158e", "title": "There’s more to it, Dr Marshall!", "url": "https://microkerneldude.org/2021/07/27/theres-more-to-it-dr-marshall/", "published_at": "2021-07-27T03:47:55+00:00" }, { "id": "01a087a5-97b7-725b-9680-1e9e173dc3a2", "title": "“Trustworthy Systems Research is Done” – Are You Kidding, CSIRO?", "url": "https://microkerneldude.org/2021/05/31/trustworthy-systems-research-is-done-are-you-kidding-csiro/", "published_at": "2021-05-30T23:58:07+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-57869bf80d57", "title": "seL4 on RISC-V Verified to Binary Code", "url": "https://microkerneldude.org/2021/05/05/sel4-on-risc-v-verified-to-binary-code/", "published_at": "2021-05-05T07:34:41+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-57869ce1143c", "title": "No Safety without (Cyber-)Security!", "url": "https://microkerneldude.org/2020/11/07/no-safety-without-cyber-security/", "published_at": "2020-11-07T02:19:57+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-57869d9c1b90", "title": "seL4 is verified on RISC-V!", "url": "https://microkerneldude.org/2020/06/09/sel4-is-verified-on-risc-v/", "published_at": "2020-06-09T05:16:36+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-57869e8f8b1f", "title": "The seL4 Foundation – What and Why", "url": "https://microkerneldude.org/2020/04/07/the-sel4-foundation-what-and-why/", "published_at": "2020-04-07T09:16:07+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-57869f43d6a3", "title": "seL4 Design Principles", "url": "https://microkerneldude.org/2020/03/11/sel4-design-principles/", "published_at": "2020-03-10T23:35:25+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-57869f4f75cc", "title": "What does seL4’s license imply?", "url": "https://microkerneldude.org/2019/12/09/what-does-sel4s-license-imply/", "published_at": "2019-12-09T05:17:47+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-57869f6f0d29", "title": "Can seL4 reduce the cost of satellites?", "url": "https://microkerneldude.org/2019/11/19/can-sel4-reduce-the-cost-of-satellites/", "published_at": "2019-11-19T04:39:59+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-57869f9b22ee", "title": "10 Years seL4: Still the Best, Still Getting Better", "url": "https://microkerneldude.org/2019/08/06/10-years-sel4-still-the-best-still-getting-better/", "published_at": "2019-08-06T05:02:30+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-5786a01ce40d", "title": "How to (and how not to) use seL4 IPC", "url": "https://microkerneldude.org/2019/03/07/how-to-and-how-not-to-use-sel4-ipc/", "published_at": "2019-03-07T08:50:06+00:00" }, { "id": "01a0bb94-249e-7073-8a4c-5786a0e677fa", "title": "Microkernels Really Do Improve Security", "url": "https://microkerneldude.org/2018/08/23/microkernels-really-do-improve-security/", "published_at": "2018-08-23T00:34:16+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-21626c4fb26f", "title": "Insecure by design – lessons from the Meltdown and Spectre debacle", "url": "https://microkerneldude.org/2018/02/05/insecure-by-design-lessons-from-the-meltdown-and-spectre-debacle/", "published_at": "2018-02-05T08:16:23+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-21626d102d97", "title": "Verified software can (and will) be cheaper than buggy stuff", "url": "https://microkerneldude.org/2016/06/16/verified-software-can-and-will-be-cheaper-than-buggy-stuff/", "published_at": "2016-06-16T05:52:36+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-21626d48dae2", "title": "So, the FBI cracked the iPhone. With a zero-day and hardware?", "url": "https://microkerneldude.org/2016/04/14/so-the-fbi-cracked-the-iphone-with-a-zero-day-and-hardware/", "published_at": "2016-04-14T12:42:14+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-21626e026ed3", "title": "How to steal encryption keys: Your cloud is not as secure as you may think!", "url": "https://microkerneldude.org/2015/04/27/how-to-steal-encryption-keys-your-cloud-is-not-as-secure-as-you-may-think/", "published_at": "2015-04-27T01:52:04+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-21626e5af006", "title": "Whither ERA?", "url": "https://microkerneldude.org/2015/02/16/whither-era/", "published_at": "2015-02-16T05:09:56+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-21626eb6af62", "title": "Peer Review: Anonymity should not be at the expense of transparency", "url": "https://microkerneldude.org/2015/02/13/peer-review-anonymity-should-not-be-at-the-expense-of-transparency/", "published_at": "2015-02-13T08:02:15+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-21626f1c2398", "title": "Security Fiasco: Why small is necessary but not sufficient for security", "url": "https://microkerneldude.org/2014/12/23/security-fiasco-why-small-os-kernel-is-necessary-but-not-sufficient-for-security/", "published_at": "2014-12-23T04:54:37+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-21626fc550af", "title": "Cyber-security: We must and can do better!", "url": "https://microkerneldude.org/2014/12/22/cyber-security-we-must-and-can-do-better/", "published_at": "2014-12-22T06:10:25+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-21627085bd81", "title": "OK Labs Story Epilogue", "url": "https://microkerneldude.org/2014/11/04/ok-labs-story-epilogue/", "published_at": "2014-11-03T18:02:43+00:00" }, { "id": "01a0bb9e-c99c-71af-8ebf-216271652ea7", "title": "OK Labs Story (9): The End Game", "url": "https://microkerneldude.org/2014/10/23/ok-labs-story-9-the-end-game/", "published_at": "2014-10-23T07:25:14+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dfa56f051", "title": "OK Labs Story (8): Competitors and Markets", "url": "https://microkerneldude.org/2014/10/16/ok-labs-story-8-competitors-and-markets/", "published_at": "2014-10-16T06:50:42+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dfaf1d732", "title": "OK Labs Story (7): The Investors", "url": "https://microkerneldude.org/2014/10/09/ok-labs-story-7-the-investors/", "published_at": "2014-10-09T05:23:02+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dfbee4961", "title": "OK Labs Story (6): The Management Team", "url": "https://microkerneldude.org/2014/10/02/ok-labs-story-6-the-management-team/", "published_at": "2014-10-02T00:17:54+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dfbf0bbfb", "title": "OK Labs Story (5): Qualcomm", "url": "https://microkerneldude.org/2014/09/25/ok-labs-story-5-qualcomm/", "published_at": "2014-09-25T01:59:20+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dfc6c55cd", "title": "OK Labs Story (4): The CTO", "url": "https://microkerneldude.org/2014/09/18/ok-labs-story-4-the-cto/", "published_at": "2014-09-18T05:00:54+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dfd4904fd", "title": "OK Labs Story (3): The Engineers", "url": "https://microkerneldude.org/2014/09/11/ok-labs-story-3-the-engineers/", "published_at": "2014-09-11T00:21:01+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dfd88dd00", "title": "OK Labs Story (2): The CEO", "url": "https://microkerneldude.org/2014/09/04/ok-labs-story-2-the-ceo/", "published_at": "2014-09-04T23:33:28+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dfe5ed61b", "title": "OK Labs Story (1): The Beginning", "url": "https://microkerneldude.org/2014/08/29/ok-labs-story-1-the-beginning/", "published_at": "2014-08-29T00:31:19+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dff43afb8", "title": "RIP Open Kernel Labs, Welcome Cog Systems", "url": "https://microkerneldude.org/2014/08/22/rip-open-kernel-labs-welcome-cog-systems/", "published_at": "2014-08-22T03:46:54+00:00" }, { "id": "01a0bba4-a6ee-738a-89c3-774dff967536", "title": "seL4 is finally free! Can you afford not to use it?", "url": "https://microkerneldude.org/2014/08/17/sel4-is-finally-free-can-you-afford-not-to-use-it/", "published_at": "2014-08-17T03:44:52+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c28ee61af4", "title": "Clarification on seL4 media reports", "url": "https://microkerneldude.org/2014/07/30/clarification-on-sel4-media-reports/", "published_at": "2014-07-30T02:27:48+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c28fe2acb7", "title": "Sense and Nonsense of Conference Rankings", "url": "https://microkerneldude.org/2014/07/06/sense-and-nonsense-of-conference-rankings/", "published_at": "2014-07-06T09:28:19+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c290c59ab9", "title": "Closing the gap: Real OS security finally in reach!", "url": "https://microkerneldude.org/2013/05/03/closing-the-gap-real-os-security-finally-in-reach/", "published_at": "2013-05-03T02:33:16+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c2916ef092", "title": "When “persistent” storage isn’t", "url": "https://microkerneldude.org/2013/04/28/when-persistent-storage-isnt/", "published_at": "2013-04-28T05:02:22+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c292250973", "title": "Green computing through formal verification?", "url": "https://microkerneldude.org/2013/03/18/green-computing-through-formal-verification/", "published_at": "2013-03-18T18:15:20+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c2924d42be", "title": "Giving it away? Part 2: On microkernels and the national interest", "url": "https://microkerneldude.org/2012/10/02/giving-it-away-part-2-on-microkernels-and-the-national-interes/", "published_at": "2012-10-02T03:07:32+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c2928f638e", "title": "Giving it away? Part 1: On Commercialisation of ICT IP", "url": "https://microkerneldude.org/2012/09/27/giving-it-away-part-1/", "published_at": "2012-09-27T10:18:53+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c292e1c6a6", "title": "Retracted papers – what happened at USENIX ATC’12?", "url": "https://microkerneldude.org/2012/06/16/retracted-papers-what-happened-at-usenix-atc12/", "published_at": "2012-06-16T12:58:24+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c2939ab039", "title": "Where Andy is wrong about L4", "url": "https://microkerneldude.org/2012/02/15/where-andy-is-wrong-about-l4/", "published_at": "2012-02-15T07:44:51+00:00" }, { "id": "01a0bba9-d354-71cc-9f9c-20c293e9925b", "title": "Automotive: the next frontier for virtualization", "url": "https://microkerneldude.org/2012/02/04/automotive-the-next-frontier-for-virtualization/", "published_at": "2012-02-04T07:31:23+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e1ed31235", "title": "RedBend: There’s nothing “optional” about virtual machine isolation", "url": "https://microkerneldude.org/2012/01/22/redbend-theres-nothing-optional-about-virtual-machine-isolation/", "published_at": "2012-01-22T07:40:17+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e1f541f87", "title": "Hey VMware: Secure It Ain’t!", "url": "https://microkerneldude.org/2011/09/09/hey-vmware-secure-it-aint/", "published_at": "2011-09-09T13:02:23+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e1fa1499b", "title": "VMware MVP: What it really is", "url": "https://microkerneldude.org/2010/11/11/vmware-mvp-what-it-really-is/", "published_at": "2010-11-11T02:07:15+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e1fcb58f7", "title": "VMware’s MVP—Encryption Doesn’t Make It Secure!", "url": "https://microkerneldude.org/2010/10/22/vmwares-mvp-encryption-doesnt-make-it-secure/", "published_at": "2010-10-22T21:50:14+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e20923537", "title": "Much Ado About Type-2", "url": "https://microkerneldude.org/2010/10/14/much-ado-about-type-2/", "published_at": "2010-10-14T15:28:50+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e218e93d6", "title": "Why multicore needs virtualization", "url": "https://microkerneldude.org/2009/08/31/why-multicore-needs-virtualization/", "published_at": "2009-08-31T22:00:44+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e21f37de2", "title": "Type-1 vs Type-2 — Does it matter?", "url": "https://microkerneldude.org/2009/08/23/type-1-vs-type-2-does-it-matter/", "published_at": "2009-08-23T00:49:41+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e22596c9e", "title": "Context switching in context", "url": "https://microkerneldude.org/2009/07/27/context-switching-in-context/", "published_at": "2009-07-27T18:51:07+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e23009da9", "title": "“There Were No Bugs!”", "url": "https://microkerneldude.org/2009/04/25/there-were-no-bugs/", "published_at": "2009-04-25T15:51:10+00:00" }, { "id": "01a0bbae-d180-7131-aa3f-536e23cfe6c0", "title": "Virtualization: Some get it, some don’t", "url": "https://microkerneldude.org/2009/03/23/virtualization-some-get-it-some-dont/", "published_at": "2009-03-23T00:06:34+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a5926b502", "title": "Microkernels 101", "url": "https://microkerneldude.org/2009/03/14/microkernels-101/", "published_at": "2009-03-14T15:20:46+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a59c6ee55", "title": "Living in the past", "url": "https://microkerneldude.org/2009/03/07/living-in-the-past/", "published_at": "2009-03-07T18:56:10+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a59f3ea31", "title": "Benchmarks: How not to do them", "url": "https://microkerneldude.org/2009/02/17/benchmarks-how-not-to-do-them/", "published_at": "2009-02-17T19:37:02+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a5a104cca", "title": "Are microkernels and hypervisors converging?", "url": "https://microkerneldude.org/2008/07/04/are-microkernels-and-hypervisors-converging/", "published_at": "2008-07-04T12:52:55+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a5ad7dcd9", "title": "About Security: Singularity vs L4, Part 2", "url": "https://microkerneldude.org/2008/04/10/about-security-singularity-vs-l4-part-2/", "published_at": "2008-04-10T01:21:53+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a5ad8ed74", "title": "Microkernels vs hypervisors", "url": "https://microkerneldude.org/2008/04/03/microkernels-vs-hypervisors/", "published_at": "2008-04-03T12:17:29+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a5bc2342d", "title": "Who is hacking your pacemaker? Or your brakes?", "url": "https://microkerneldude.org/2008/03/18/who-is-hacking-your-pacemaker-or-your-brakes/", "published_at": "2008-03-18T05:14:41+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a5bcb67cb", "title": "Q: What is the difference between a microkernel?", "url": "https://microkerneldude.org/2008/03/13/q-what-is-the-difference-between-a-microkernel/", "published_at": "2008-03-13T14:02:42+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a5cb7bada", "title": "Trusted vs trustworthy computer systems", "url": "https://microkerneldude.org/2008/02/13/trusted-vs-trustworthy-computer-systems/", "published_at": "2008-02-13T07:30:50+00:00" }, { "id": "01a0bbb3-c4bb-73a4-a0c8-ac9a5d8ac413", "title": "OS Co-Location is NOT Virtualization!", "url": "https://microkerneldude.org/2008/01/25/os-co-location-is-not-virtualization/", "published_at": "2008-01-25T22:15:16+00:00" }, { "id": "01a0bbb9-48f9-7053-bb00-a46e5ce78bf1", "title": "Dreamliner security issue highlights need for bullet-proof OS technology", "url": "https://microkerneldude.org/2008/01/09/dreamliner-security-issue-highlights-need-for-bullet-proof-os-technology/", "published_at": "2008-01-09T05:22:01+00:00" } ] posts Claim your blog
Back to microkerneldude.org
Blog · corpus.blog/blogs/microkerneldude.org/posts

microkerneldude.org

microkerneldude.org

2025

Benchmarking Crimes Meet Formal Verificationoriginal ↗
27 Apr 2025

2024

GoFetch: Will people ever learn?original ↗
18 Apr 2024

2022

ML accelerates the cyber arms race — we need real security more than everoriginal ↗
8 Nov 2022
TS in 2022: We’re Back!original ↗
21 Mar 2022
A Story of Betrayal: CSIRO’s War On TSoriginal ↗
17 Feb 2022

2021

Dishonest and Contradictory: Fact-Checking CSIRO’s Communications about the Trustworthy Systems Grouporiginal ↗
16 Nov 2021
Where is seL4 Heading?original ↗
28 Sept 2021
seL4 Integrity Enforcement Proved for RISC-Voriginal ↗
3 Aug 2021
There’s more to it, Dr Marshall!original ↗
27 Jul 2021
“Trustworthy Systems Research is Done” – Are You Kidding, CSIRO?original ↗
30 May 2021
seL4 on RISC-V Verified to Binary Codeoriginal ↗
5 May 2021

2020

No Safety without (Cyber-)Security!original ↗
7 Nov 2020
seL4 is verified on RISC-V!original ↗
9 Jun 2020
The seL4 Foundation – What and Whyoriginal ↗
7 Apr 2020
seL4 Design Principlesoriginal ↗
10 Mar 2020

2019

What does seL4’s license imply?original ↗
9 Dec 2019
Can seL4 reduce the cost of satellites?original ↗
19 Nov 2019
10 Years seL4: Still the Best, Still Getting Betteroriginal ↗
6 Aug 2019
How to (and how not to) use seL4 IPCoriginal ↗
7 Mar 2019

2018

Microkernels Really Do Improve Securityoriginal ↗
23 Aug 2018
Insecure by design – lessons from the Meltdown and Spectre debacleoriginal ↗
5 Feb 2018

2016

Verified software can (and will) be cheaper than buggy stufforiginal ↗
16 Jun 2016
So, the FBI cracked the iPhone. With a zero-day and hardware?original ↗
14 Apr 2016

2015

How to steal encryption keys: Your cloud is not as secure as you may think!original ↗
27 Apr 2015
Whither ERA?original ↗
16 Feb 2015
Peer Review: Anonymity should not be at the expense of transparencyoriginal ↗
13 Feb 2015

2014

Security Fiasco: Why small is necessary but not sufficient for securityoriginal ↗
23 Dec 2014
Cyber-security: We must and can do better!original ↗
22 Dec 2014
OK Labs Story Epilogueoriginal ↗
3 Nov 2014
OK Labs Story (9): The End Gameoriginal ↗
23 Oct 2014
OK Labs Story (8): Competitors and Marketsoriginal ↗
16 Oct 2014
OK Labs Story (7): The Investorsoriginal ↗
9 Oct 2014
OK Labs Story (6): The Management Teamoriginal ↗
2 Oct 2014
OK Labs Story (5): Qualcommoriginal ↗
25 Sept 2014
OK Labs Story (4): The CTOoriginal ↗
18 Sept 2014
OK Labs Story (3): The Engineersoriginal ↗
11 Sept 2014
OK Labs Story (2): The CEOoriginal ↗
4 Sept 2014
OK Labs Story (1): The Beginningoriginal ↗
29 Aug 2014
RIP Open Kernel Labs, Welcome Cog Systemsoriginal ↗
22 Aug 2014
seL4 is finally free! Can you afford not to use it?original ↗
17 Aug 2014
Clarification on seL4 media reportsoriginal ↗
30 Jul 2014
Sense and Nonsense of Conference Rankingsoriginal ↗
6 Jul 2014

2013

Closing the gap: Real OS security finally in reach!original ↗
3 May 2013
When “persistent” storage isn’toriginal ↗
28 Apr 2013
Green computing through formal verification?original ↗
18 Mar 2013

2012

Giving it away? Part 2: On microkernels and the national interestoriginal ↗
2 Oct 2012
Giving it away? Part 1: On Commercialisation of ICT IPoriginal ↗
27 Sept 2012
Retracted papers – what happened at USENIX ATC’12?original ↗
16 Jun 2012
Where Andy is wrong about L4original ↗
15 Feb 2012
Automotive: the next frontier for virtualizationoriginal ↗
4 Feb 2012
RedBend: There’s nothing “optional” about virtual machine isolationoriginal ↗
22 Jan 2012

2011

Hey VMware: Secure It Ain’t!original ↗
9 Sept 2011

2010

VMware MVP: What it really isoriginal ↗
11 Nov 2010
VMware’s MVP—Encryption Doesn’t Make It Secure!original ↗
22 Oct 2010
Much Ado About Type-2original ↗
14 Oct 2010

2009

Why multicore needs virtualizationoriginal ↗
31 Aug 2009
Type-1 vs Type-2 — Does it matter?original ↗
23 Aug 2009
Context switching in contextoriginal ↗
27 Jul 2009
“There Were No Bugs!”original ↗
25 Apr 2009
Virtualization: Some get it, some don’toriginal ↗
23 Mar 2009
Microkernels 101original ↗
14 Mar 2009
Living in the pastoriginal ↗
7 Mar 2009
Benchmarks: How not to do themoriginal ↗
17 Feb 2009

2008

Are microkernels and hypervisors converging?original ↗
4 Jul 2008
About Security: Singularity vs L4, Part 2original ↗
10 Apr 2008
Microkernels vs hypervisorsoriginal ↗
3 Apr 2008
Who is hacking your pacemaker? Or your brakes?original ↗
18 Mar 2008
Q: What is the difference between a microkernel?original ↗
13 Mar 2008
Trusted vs trustworthy computer systemsoriginal ↗
13 Feb 2008
OS Co-Location is NOT Virtualization!original ↗
25 Jan 2008
Dreamliner security issue highlights need for bullet-proof OS technologyoriginal ↗
9 Jan 2008