本次系统安全暑期学校涵盖的内容非常广泛，有深有浅地包括了模糊测试技术，AI 系统安全，硬件辅助系统安全，传统二进制安全，嵌入式系统安全以及固件分析，形式化方法等各种内容。

最近需要学习用 ML 族的语言写一个 VHDL 的 Parser，于是就有了一系列的尝试，顺便完成了几道 Codewars 上的习题。

最近发现很多同学都升级到了 Ubuntu 20.04 LTS，于是也就把现有的几台服务器升级了（毕竟没在跑什么需要可靠性的服务）。

暑假读了一下 SICP。

这几天在看 Concrete Semantics 的类型理论部分，于是想做一下之前没有做下去的 Codewars 上的几道 Haskell 题。

WireGuard 可以用来建立安全的点对点的连接。

标题是很早以前就取好了的。