電子發燒友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
- UM1924_STM32加密庫
- 基于可搜索加密機制的數據庫加密方案綜述 4次下載
- 降低物聯網跨平臺設計復雜性的十個辦法資料下載
- wxWidgets跨平臺GUI開發編程 7次下載
- AES加密算法在電子系統中的優化和應用分析 12次下載
- 如何使用Labwindow CVI軟件平臺進行Mysql數據庫開發 22次下載
- 面向云數據庫的屬性基加密和查詢轉換中間件 5次下載
- 跨域的代理重加密交友隱私保護方案 0次下載
- 多條件型非對稱跨加密系統的代理重加密方案 0次下載
- 網絡接口跨平臺移植擴展控件設計 0次下載
- 一種基于云計算平臺的數據庫加密保護系統 16次下載
- 基于PowerNT的跨平臺遠程數據庫訪問技術研究 0次下載
- 基于IDEF1X的跨武器平臺移植系統信息建模研究
- 基于IBE的跨網絡電子公文安全交換平臺
- 基于B/S結構的數據庫加密設計
- 分享一個跨平臺通用型GUI框架 476次閱讀
- 用C語言實現的跨平臺開發庫TBOX 1426次閱讀
- OpenCV圖像處理庫的跨平臺：Emgu CV 4084次閱讀
- Splashtop跨平臺遠程訪問的優勢 496次閱讀
- MySQL數據庫免安裝版配置教程 1608次閱讀
- 現代C++ unit test庫之doctest基本用法 2342次閱讀
- 開源數據庫管理工具Beekeeper Studio簡介 3761次閱讀
- 跨平臺構建工具xmake簡介與安裝使用說明 6120次閱讀
- 基于Digipcba平臺創建共享元器件庫 3291次閱讀
- libcurl等第三方庫的通用編譯方法 2038次閱讀
- 如何快速構建一個移動跨平臺視頻通話應用 2896次閱讀
- Python運維中20個常用的庫和模塊盤點 2173次閱讀
- 一文讀懂boost庫的概念和安裝方式 8016次閱讀
- 加密貨幣風暴，現代加密數字貨幣面臨的問題及解決方案 2008次閱讀
- Go語言在多線程領域編程、跨異構平臺及編程難易程度的優勢 6310次閱讀
上傳資料賺積分下載排行
本周
- 1涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 2錦銳科技CA51F2 SDK開發包
- 24.06 MB | 29次下載 | 1 積分
- 3錦銳CA51F005 SDK開發包
- 19.47 MB | 3次下載 | 1 積分
- 4蘋果iphone 11電路原理圖
- 4.98 MB | 3次下載 | 2 積分
- 5基礎模擬電子電路
- 3.80 MB | 3次下載 | 1 積分
- 6RA-Eco-RA6M4-100PIN-V1.0開發板資料
- 34.89 MB | 1次下載 | 免費
- 7STM32F3系列、STM32F4系列、STM32L4系列和STM32L4+系列Cortex-M4編程手冊
- 3.32 MB | 1次下載 | 免費
- 8聯想A820t手機維修圖紙包括主板原理圖 尾板原理圖 點位圖
- 0.62 MB | 次下載 | 5 積分
本月
- 1AI智能眼鏡產業鏈分析
- 4.43 MB | 383次下載 | 免費
- 2蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 296次下載 | 5 積分
- 3貼片三極管上的印字與真實名稱的對照表詳細說明
- 0.50 MB | 94次下載 | 1 積分
- 4長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 91次下載 | 5 積分
- 5涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 6錦銳科技CA51F2 SDK開發包
- 24.06 MB | 29次下載 | 1 積分
- 7AO4803A雙P通道增強型場效應晶體管的數據手冊
- 0.11 MB | 28次下載 | 2 積分
- 8長虹液晶彩電LS29機芯的技術資料說明
- 3.42 MB | 16次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191388次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81588次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論