2024-11
2024-11-01
知った
Flash Attension
ってやつを知ったけど，かなり Nested Loop Join だと思う
ProVerif
暗号プロトコルの検証に特化した
モデル検査
ツール(?)
#日報