This page hosts my open source projects. Feel free to browse the links above. 2020-10-14 A Formal Model of Cache Speculation Side-Channels 2020-06-23 StGit has a new homepage 2020-03-09 StGit 0.22 released 2019-10-28 StGit 0.21 released 2019-10-06 StGit 0.20 released 2018-11-14 Formal Methods for Kernel Hackers 2018-11-06 StGit 0.19 released 2017-08-18 StGit 0.18 released