A reformed security consultant, this survivor of the dreaded Not Invented Here-syndrome has rejected his past lifestyle of participation in the futile Whac-A-Mole game colloquially known as infosec, and is on a quest to rewrite just about everything we use today in safer programming languages in the belief that "eliminate bug classes, not individual bugs" is the way to go, and that it starts with your programming language.

He is joined in this quest by the noble knights of Robur[1], a non-profit organization that works on MirageOS and writes software in OCaml.


URLs for Joe

No URLs found.

Talk Boiling the ocean: Cooking with Qubes and MirageOS

A computer security-fundamentalist's tale of dogfooding "MirageOS on the desktop" piece-by-piece with Qubes, rooted in the ongoing development of a secure image viewer application and a GnuPG-replacement in OCaml.

We will be going over design considerations, security implications, the beautiful long hours spent trying to make sense of prose-based, ambiguous protocol specifications, live demos, and much more!

No prior knowledge of Qubes [1] / MirageOS [2] / OCaml required (the first shot is free!), but a little bit of familiarity with operating systems and terminals may make it more interesting. For the less ascetically inclined, we will be playing Pong in privilege ring0 to the tune of the Tetris soundtrack, and the Bornhack logo will hopefully grace us with its on-screen presence.

[1] [2]

Scheduled Instances of "Boiling the ocean: Cooking with Qubes and MirageOS"