简介
程序员都是凡人,但数学则是不朽的。通过让编程变得更数学化,计算机科学家希望能消除向黑客敞开大门的编程错误。研究人员在 GitHub 上发布了加密工具 EverCrypt,向这个目标迈出了一大步。就像证明毕达哥拉斯定理那样,他们能证明 EverCrypt 可完全避开多种黑客攻击。EverCrypt 没... 更多
其它信息
地区
不详
开发语言
C/C++
汇编
开源组织
无
所属分类
程序开发、 加密/解密软件包
授权协议
Apache-2.0
操作系统
跨平台
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
Swift Crypto跨平台加密库
SwiftCrypto衍生自AppleCryptoKit加密框架,是一个跨平台加密解决方案,可用于Swift支持的所有平台。Crypto 将 AppleCryptoKit 优秀的API带到了受众更广的
Swift Crypto跨平台加密库
0
Tink多语言、跨平台加密开发库
Tink是一个多语言、跨平台的加密开发库,提供安全,易于正确使用和难以滥用的加密API,目前Tink已经被用于保护许多谷歌内部产品的数据,如AdMob、GooglePay、GoogleAssistan
Tink多语言、跨平台加密开发库
0
AngelScript跨平台的脚本库
AngelScript,全称是AngelCodeScriptingLibrary,是一个专门为扩展应用程序功能而开发的跨平台的脚本库。它以易于应用程序开发者和脚本开发者使用为目标而设计。AngelSc
AngelScript跨平台的脚本库
0
Dlib跨平台的通用库
Dlib是一个使用现代C++技术编写的跨平台的通用库,遵守BoostSoftwarelicence.主要特点如下:1.完善的文档:每个类每个函数都有详细的文档,并且提供了大量的示例代码,如果你发现文档
Dlib跨平台的通用库
0
ZThread跨平台线程库
ZThread是一个C++的跨平台线程开发包。zthread库的用法和Java的多线程很相似,名字都差不多,比如Thread,Runnable,^_^举个例子入门一下吧在zthread里有一个任务的概
ZThread跨平台线程库
0