号称“不会被黑”的加密工具Evercrypt发布 无限武侠之配角收集者 - 科技前沿 - 智学网
IT资讯
当前位置:智学网 > IT资讯 >  科技前沿

号称“不会被黑”的加密工具Evercrypt发布

2019-04-13 10:08:48 IT之家 浮生 编辑:琳达 浏览数:13智学网

IT之家4月8日消息 有研究人员于4月2日在GitHub上发布了一个号称能防黑客的加密代码工具,名为“EverCrypt”。从字面意思看,这个名字取得一点都不客气——“永远加密”。负责该项目的计算机科学家Kar...

IT之家4月8日消息 有研究人员于4月2日在GitHub上发布了一个号称能防黑客的加密代码工具,名为“EverCrypt”。从字面意思看,这个名字取得一点都不客气——“永远加密”。

负责该项目的计算机科学家Karthik Bhargavan在《Quanta Magazine》撰文称,通过将计算机代码视为数学证明,该库被证实对大多数黑客攻击都是无懈可击的。

Evercrypt据称是一个“软件库”,涉及简单的算术,包括几何和素数。

通常情况下,程序员团队创建的软件是来满足他们所希望达成的某些目标。完成后,他们会测试代码;如果软件能在没有带来不良后果的情况下完成目标,程序员就能得出结论——软件可以照预想那样工作。

软件的编码错误则通常是出现在极端的“临界情况”中,是由一些“不太可能发生的事”构成的完美风暴带来的重大漏洞。近年来最具破坏性的黑客攻击之中,许多例子都和这种极端情况有关。

与此相反,EverCrypt没有遵循大多数代码的编写方式。参与EverCrypt的卡内基梅隆大学计算机科学家Bryan Parno说:“你可以减少代码在数学公式中的行为方式的问题,然后你可以检查公式是否成立。如果确实如此,你知道你的代码有这个属性。”

EverCrypt的工作始于2016年,是由微软研究院领导的Project Everest的一部分。EverCrypt是采用F*语言编写、验证的,F*是一个由微软研究院开发的基于F♯的依赖类型函数式程序语言。

IT之家读者若对此感兴趣,可以点此链接前往相关GitHub页面了解。

分享到:

版权与免责声明:

凡未注明"稿件来源"的内容均为转载稿,本网转载出于传递更多信息的目的;如转载稿涉及版权问题,请作者联系我们,同时对于用户评论等信息,本网并不意味着赞同其观点或证实其内容的真实性;


本文地址:http://www.nghoc.com/news/2019/04/13/120050985.html

转载本站原创文章请注明来源:智学网

行业聚焦

64核128线程:AMD新款EPYC Rome处理器跑分成绩曝光

AMD 有望在 2019 年内发布多款 3000 系列锐龙(Ryzen)与霄龙(EPYC)处理器新品,并在 5 月 28 日召开的台北电脑展(Computex ...[详细]

CES唱主角的8K电视机,可远观而不可亵玩焉

从CES 2019一直到现在,今年几大电视厂商开始陆续发布自家的8K电视,从索尼到LG,再到三星,似乎今年不发个8K电视自己就不是电视巨头,而我们也看到了大量的...[详细]

一图看懂荣耀MagicBook 2019笔记本

IT之家4月17日消息 荣耀今日发布了新款MagicBook笔记本,最高搭载AMD锐龙7 3700U处理器、集成Vega10显卡。荣耀还宣布了搭载新一代锐龙5的...[详细]

重磅官宣!沃品推出行业首款手游专用电池

  近年来,随着“王者荣耀”、”刺激战场“、“绝地求生”等大型手游的出现,手游电竞迎来了一个全新的高峰期,不少人都开始纷纷入坑。  随着手机性能的提高,越来越多...[详细]

腾讯安全:窃密病毒变种藏身外贸商务邮件 “谈合作”实为窃取数据!

相信外贸从业人员都明白,很多外贸订单往往是通过一封邮件开始。如何写好一封打动客户的外贸商务邮件固然重要,但即便收到客户的回复邮件也不应高兴太早,因为这样一封“陌...[详细]

活动互动

更多

AMD、华为:台积电强劲增长的两台发动机

 

市场观察人士称,来自华为、AMD的订单将在台积电的今年第二季度收入成长中扮演关键角色。华为一直是台积电的核心合作伙伴,长...[详细]

三星Galaxy Fold本月26日开卖:骁龙855+UFS 3.0闪存

 

三星在Galaxy S10系列发布会上推出了旗下首款可折叠智能手机Galaxy Fold,现在它终于要跟消费者见面了。4...[详细]

天津全力打造智慧城市 加快建设5G基础设施

 

天津北方网讯:手机是折叠的;网络是5G的;小区保安是智能的;家里电器是 听话 的;购物办事是不用跑腿儿的;老人孩子是有机...[详细]

英特尔为奔腾和赛扬处理器增加傲腾内存支持

 

IT之家3月29日消息 英特尔的傲腾技术带来了新内存技术具有超快的速度和令人难以置信的耐用性,但定价和与现有系统的兼容性...[详细]

字节跳动将开放新一轮期权换购 允许部分员工将年终奖金换成期权

 

字节跳动集团4月初员工绩效及年终奖数额确定后,字节跳动将开放新一轮期权换购:有别于大部分公司的期权授予方式,字节跳动此次...[详细]

一周排行每月关注