GitHub发布加密工具Evercrypt 号称“不会被黑”
发表于:2023-02-03 作者:安全数据网编辑
编辑最后更新 2023年02月03日,有研究人员于4月2日在GitHub上发布了一个号称能防黑客的加密代码工具,名为"EverCrypt"。从字面意思看,这个名字取得一点都不客气--"永远加密"。负责该项目的计算机科学家Karthik B
有研究人员于4月2日在GitHub上发布了一个号称能防黑客的加密代码工具,名为"EverCrypt"。从字面意思看,这个名字取得一点都不客气--"永远加密"。
负责该项目的计算机科学家Karthik Bhargavan在《Quanta Magazine》撰文称,通过将计算机代码视为数学证明,该库被证实对大多数黑客攻击都是无懈可击的。
Evercrypt据称是一个"软件库",涉及简单的算术,包括几何和素数。
通常情况下,程序员团队创建的软件是来满足他们所希望达成的某些目标。完成后,他们会测试代码;如果软件能在没有带来不良后果的情况下完成了目标,程序员就可以得出结论,认为该软件可以完成它的目标。
编码错误通常情况下只是出现在极端的"临界情况"中,是由一些"不太可能发生的事"构成的完美风暴带来的重大漏洞。近年来最具破坏性的黑客攻击之中,许多例子都和这种极端情况有关。
然而,EverCrypt没有采用大多数代码的编写方式。负责EverCrypt的卡内基梅隆大学计算机科学家Bryan Parno说:"你可以减少代码在数学公式中的行为方式的问题,然后你可以检查公式是否成立。如果确实如此,你知道你的代码有这个属性。"
EverCrypt的工作始于2016年,是由微软研究院领导的Project Everest的一部分。EverCrypt是采用F*语言编写、验证的,F*是一个由微软研究院开发的基于F♯的依赖类型函数式程序语言。
c语言网络技术和编程语言总结
c语言对应的三级考试网络技术
网站服务器后台如何加防护密码
c语言软件开发步骤
c语言中网络技术知识点
服务器对权限提升的防护措施
怎么在阿里云租服务器
黑苹果能做web服务器吗
c语言和网络技术哪个好考
云服务器2核4G是什么性能
微信模拟器软件开发
东莞热点网络技术
开展网络安全 自查报告
数据库 有哪些
软件开发实施工资待遇
网络安全的方法与意义
删除列数据库表的命令
购买数据库系统的账务处理
洋河酒厂软件开发待遇
中国人民银行信息数据库会有什么
大学计算机网络技术课本
网络安全工作考核制度
迅雷网络技术招聘
软件开发的收入和成本
高中网络安全教育专题
西城分局网络安全和大数据
股票 投资 合作 软件开发
网络安全处理器国外
云计算跟软件开发怎么样
泰拉瑞亚端游服务器为啥老是丢失
企业诚信积分管理软件开发
安全知识服务器
中科数据库是哪个大学
怀柔区软件开发诚信服务
普通计算机如何设置服务器
软件开发服务外包技术
服务器安装虚拟机
网络安全排查代码
滨州办公系统oa软件开发公司
嵌入式内存数据库
相关文章
- 动态壁纸软件Wallpaper Engine正式版发售 支持简体中文
- Joomla 3.8.13发布 解决了5个安全漏洞
- teamviewer用手机怎么远程控制电脑方法
- 微软Windows11系统发布会时间 Win11发布会直播地址
- 微软Windows 10累积更新又出bug:导致声音和网络连接故障
- Firefox将要求输入Windows密码来与管理功能交互
- 手机黑砖9006/9008救砖教程 通用救砖模式刷机修复方法
- Windows 10 Build 17025发布:改进微软雅黑显示效果
- 3dmax2017怎么改成中文 3dmax2017中文界面设置方法
- VirtualBox 5.2正式版更新发布 新增功能内容介绍