蚊章汇 - 每日安全资讯：计算机科学家发布不会被黑的加密代码 的评论
type: channel
link: https://linuxcn.bwsl.wang/article-10699-1.html
description: 程序员都是凡人，但数学则是不朽的。通过让编程变得更数学化，计算机科学家希望能消除向黑客敞开大门的编程错误。研究人员在 GitHub 上发布了加密工具 EverCrypt，向这个目标迈出了一大步。...