The CVE Program is the primary way software vulnerabilities are tracked. Its long-term future remains in limbo even after a last-minute renewal of the US government contract that funds it. Lily Hay ...
In this tutorial for graduate students and postdocs, John Baez and Tai-Danae Bradley (GC alum, class of 2020) will introduce material related to the upcoming symposium, Categorical Semantics of ...