電腦科學家釋出不會被黑的加密程式碼
程式設計師都是凡人，但數學則是不朽的。通過讓程式設計變得更數學化，電腦科學家希望能消除向黑客敞開大門的程式設計錯誤。研究人員在 GitHub 上釋出了加密工具 EverCrypt，向這個目標邁出了一大步。
就像證明畢達哥拉斯定理那樣，他們能證明 EverCrypt 可完全避開多種黑客攻擊。
EverCrypt 沒有采用常見的程式設計方法編寫，而是利用了形式化驗證。他們首先明確程式碼能做什麼，然後證明只能這麼做，排除了程式碼在特殊情況下偏離的可能性。
EverCrypt 始於 2016 年，是微軟研究院專案Project Everest的一部分，當時加密庫是許多軟體的薄弱環節，存在大量 bug。
來源：solidot.org
更多資訊：1、Python 之父再度發聲：我們能為中國的“996”程式設計師做什麼？
相關文章
- 每日安全資訊：電腦科學家釋出不會被黑的加密程式碼加密
- 碼農 駭客 程式設計師 開發者和電腦科學家的區別程式設計師
- 每日安全資訊：電腦科學家設計無法被黑的處理器晶片架構晶片架構
- MIT電腦科學家意外發現，量子糾纏會「突然消亡」MIT
- 【論文】核心電腦科學會議排名
- 《科學》：腦子裡“長”出電極了！科學家開發出能在腦內生成電極的新技術，或有助於治療神經系統疾病
- 玩手機會得腦癌嗎？科學家：沒關係
- 學習程式設計 vs 學習電腦科學程式設計
- 電腦科學自學指南
- 電腦科學箴言集箴言
- 開發人員、程式設計師與電腦科學家三者之間的區別程式設計師
- 釋出訂閱模式還不會??戳這裡，50行核心程式碼，手把手教你學會模式
- 科學家藉助AI技術找到更安全的電解質 或保電池不炸AI
- 哪些事情是普通人並不知道的，只有程式設計師和電腦科學家知道？程式設計師
- 程式碼不等於電腦科學：為什麼所有人都應該學習程式設計程式設計
- 電腦科學概論（2）資料的操控和程式的執行
- 【電腦科學】演算法——遞迴演算法遞迴
- 電腦科學與技術專業
- 電腦科學基礎知識（四）: 動態庫和位置無關程式碼
- 電腦專家網上釋出“病毒”廣告 也能吸引點選
- 美國四種薪酬最高的電腦科學工作
- 【人物誌】美團首席科學家夏華夏：不斷突破邊界的程式人生
- 自己電腦釋出網站網站
- 格智學院：電腦科學與技術
- 專家審讀第9期——《具體數學：電腦科學基礎（第2版）》
- 皮克斯高階科學家解釋數學在電影和遊戲中的應用遊戲
- Guide2Research：2020全球頂尖電腦科學家排名GUIIDE
- 亞馬遜下週三開釋出會 預期推出平板電腦亞馬遜
- 重灌系統會不會損傷電腦 無u盤重灌電腦詳細教程
- 電腦科學和Python程式設計導論week1Python程式設計
- Guide2Research：2018年全球千名電腦科學家排名GUIIDE
- 電腦科學家要求最高法院裁決API不能被版權保護API
- 美國電腦科學家：人工智慧將在2029年超過人類人工智慧
- 蘋果汽車釋出？這個釋出會腦洞我服蘋果
- 分子科學中的機器學習：不會燎原的星星之火？機器學習
- 重灌系統會不會很傷電腦 自己無u盤重灌電腦詳細教程
- 卡內基梅隆大學電腦科學學院的理性人原則
- GitHub 星標 7K 的電腦科學速成課！Github