简介
程序员都是凡人,但数学则是不朽的。通过让编程变得更数学化,计算机科学家希望能消除向黑客敞开大门的编程错误。研究人员在 GitHub 上发布了加密工具 EverCrypt,向这个目标迈出了一大步。就像证明毕达哥拉斯定理那样,他们能证明 EverCrypt 可完全避开多种黑客攻击。EverCrypt 没... 更多
其它信息
地区
不详
开发语言
C/C++
汇编
开源组织
无
所属分类
程序开发、 加密/解密软件包
授权协议
Apache-2.0
操作系统
跨平台
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%