06 2023 档案

摘要：CCS，S&P，USENIX 什么都有 CRYPTO EuroCRYPTO AsiaCRYPTO 密码学 DIMVA 为期三天的，很好的会议，主题都很新颖，前线，很有实际价值。 https://vizsec.dbvis.de/ https://vizsec.org/2021/10/06/Progra 阅读全文

摘要：Victory by KO: Attacking OpenPGP Using Key Overwriting （加密-密码学） Proving UNSAT in Zero Knowledge （零知识证明-密码学） Automatic Detection of Speculative Executi 阅读全文

摘要：tag mvu, fsharp, avalonia, elm, fp 本来用 rxui 好好的，为什么非跑去用什么mvu。 rxui很强大，v-vm绑定，值的联动，简单高效的validation验证，复杂强大的dynamicdata。 已经用习惯了只要不是为了简单快速套个gui，都可以直接上手用rx 阅读全文