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.
[1] http://robur.io
URLs for Joe
No URLs found.
Events for Joe
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 requi… Read more
Schedule:
- Tuesday, Aug 21st, 2018, 17:00 (CEST) - Tuesday, Aug 21st, 2018, 18:00 (CEST)