vatt'ghern jaskier's ballads

#Rocq

2 posts tagged Rocq.

  1. 07.22
    亂序核心先斬後奏、事後撤回——一次 unbounded 的弱記憶體形式驗證
  2. 07.21
    用 Claude 加 Rocq 形式驗證 nftables，揪出藏了三年的防火牆漏洞