首页
论坛
专栏
课程

计算机科学家发布不会被黑的加密代码

Editor 发布于 看雪学院 2019-04-09 09:09

程序员都是凡人,但数学则是不朽的。通过让编程变得更数学化,计算机科学家希望能消除向黑客敞开大门的编程错误。研究人员在 GitHub 上发布了加密工具 EverCrypt,向这个目标迈出了一大步。


就像证明毕达哥拉斯定理那样,他们能证明 EverCrypt 可完全避开多种黑客攻击。


EverCrypt 没有采用常见的编程方法编写,而是利用了形式化验证。他们首先明确代码能做什么,然后证明只能这么做,排除了代码在特殊情况下偏离的可能性。


EverCrypt 始于 2016 年,是微软研究院项目Project Everest的一部分,当时加密库是许多软件的薄弱环节,存在大量 bug。



来源:solidot.org 


更多资讯:1、Python 之父再度发声:我们能为中国的“996”程序员做什么?


2、微软终于知道用户不习惯点击“安全删除硬件”


分享到:
最新评论 (0)
登录后即可评论