電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
軟件簡介
程序員都是凡人，但數學則是不朽的。通過讓編程變得更數學化，計算機科學家希望能消除向黑客敞開大門的編程錯誤。研究人員在 GitHub 上發布了加密工具?EverCrypt，向這個目標邁出了一大步。就像證明畢達哥拉斯定理那樣，他們能證明 EverCrypt?可完全避開多種黑客攻擊。
EverCrypt 沒有采用常見的編程方法編寫，而是利用了形式化驗證。他們首先明確代碼能做什么，然后證明只能這么做，排除了代碼在特殊情況下偏離的可能性。
EverCrypt 始于 2016 年，是微軟研究院項目?Project Everest?的一部分，當時加密庫是許多軟件的薄弱環節，存在大量 bug。EverCrypt 使用?F*（發音 F star）編程語言編寫和驗證，然后編譯為 C（使用專用編譯器?KreMLin?編譯）和匯編語言的混合。
EverCrypt 支持的算法
EverCrypt 支持的許多算法仍在開發中。在即將發布的版本中，目標是：
| Algorithm | C version | ASM version | Agile API |
|---|---|---|---|
| AEAD | ? | ? | ? |
| AES-GCM | ? | ?? (AES-NI + PCLMULQDQ) | ?? |
| ChachaPoly | ??1 | ? | ?? |
| ? | ? | ? | ? |
| Hashes | ? | ? | ? |
| MD5 | ??2 | ? | ?? |
| SHA1 | ??2 | ? | ?? |
| SHA2 | ?? | ? | ?? |
| SHA3 | ?? | ? | ? |
| Blake2 | ?? | ? | ? |
| ? | ? | ? | ? |
| MACS | ? | ? | ? |
| HMAC | ??? | ? | ?? |
| Poly1305 | ??3 (+ AVX + AVX2) | ?? (X64) | ? |
| ? | ? | ? | ? |
| Key Derivation | ? | ? | ? |
| HKDF | ??? | ? | ?? |
| ? | ? | ? | ? |
| ECC | ? | ? | ? |
| Curve25519 | ?? | ?? (BMI2 + ADX) | ? |
| Ed25519 | ??? | ? | ? |
| ? | ? | ? | ? |
| Ciphers | ? | ? | ? |
| Chacha20 | ?? | ? | ? |
| AES128, 256 | ? | ?? (AES NI + PCLMULQDQ) | ? |
| AES CTR | ? | ?? (AES NI + PCLMULQDQ) | ? |
1: does not multiplex (yet) over the underlying Poly1305 implementation
2: insecure algorithms provided for legacy interop purposes
3: achieved via C compiler intrinsincs; no verification results claimed for the AVX and AVX2 versions whose verification is not complete yet
?: HMAC and HKDF on top of the agile hash API, so HMAC-SHA2-256 and HKDF-SHA2-256 leverage the assembly version under the hood
?: legacy implementation
- 現代電機控制技術.課件下載ppt 0次下載
- 現代電機控制技術.王成元 夏加寬版 0次下載
- 基于FPGA芯片的軟硬件平臺的使用 20次下載
- 基于區塊鏈的智能機器人多傳感信息加密控制方法 5次下載
- 可提高隱私數據安全性的可搜索加密方案 10次下載
- MSP430總結：為什么要加密，如何加密?資料下載 7次下載
- 單片機TEA加密是怎么加密的？資料下載 10次下載
- 結合硬件算法平臺等的可調認證加密方案 4次下載
- 現代無線電實驗說明 13次下載
- 一種改進的加密惡意流量檢測方法 13次下載
- AES加密算法在電子系統中的優化和應用分析 12次下載
- 三重數據加密和高級加密標準基于PIC24和dsPIC30/33的討論詳細概述 8次下載
- 透明加密軟件的特點及原理 0次下載
- CPU卡加密系統與M1加密系統 3次下載
- 空中無人平臺視頻圖像加密算法研究 23次下載
- 加密狗是什么意思 加密狗怎么解除加密 1403次閱讀
- 簡單認識安全加密處理器 466次閱讀
- 什么是光模塊的寫碼加密？ 1269次閱讀
- 加密算法與非加密算法的區別 1671次閱讀
- 區塊鏈與加密貨幣有什么不同？ 4102次閱讀
- 基于以太坊平臺建立的去中心化金融應用kyberNetwork解析 807次閱讀
- 關于音視頻加密防爬的技術解析 1305次閱讀
- 加密貨幣生態系統DAGNe技術原理解析 1588次閱讀
- 什么是私鑰加密？私鑰加密和公鑰加密有何區別？ 2.7w次閱讀
- 加密貨幣風暴，現代加密數字貨幣面臨的問題及解決方案 1859次閱讀
- 常用的PHP加密函數有哪些？不可逆加密函數和可逆轉加密函數概述 6517次閱讀
- 一文讀懂VSAN加密技術 2158次閱讀
- 什么是非對稱加密?非對稱加密概念 2.1w次閱讀
- 非對稱加密算法有什么特點 2.2w次閱讀
- 常見公鑰加密算法有哪些 4.2w次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數據手冊
- 1.06 MB | 532次下載 | 免費
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費
- 5元宇宙深度解析—未來的未來-風口還是泡沫
- 6.40 MB | 227次下載 | 免費
- 6迪文DGUS開發指南
- 31.67 MB | 194次下載 | 免費
- 7元宇宙底層硬件系列報告
- 13.42 MB | 182次下載 | 免費
- 8FP5207XR-G1中文應用手冊
- 1.09 MB | 178次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關電源設計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數字電路基礎pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅動電路設計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537798次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191187次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網監
評論