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