人物經歷
Alexandre Rebert，ForAllSecure聯合創(chuàng)始人。
人物成就
他發(fā)明了讓計算機能自我修復的方法。
當一臺計算機系統(tǒng)被黑客入侵了，我們往往只能在入侵結束之后才可以進行修復工作。但 Alexandre Rebert 開發(fā)了一種軟件系統(tǒng)，它能使計算機在被攻擊伊始就進行修復。
這種別出心裁的點子來源于 Rebert 對于計算機的認識，他覺得�，F在的計算機雖然缺乏創(chuàng)造性，但是它們對于快速處理大規(guī)模的工作十分在行。于是，他就開發(fā)了一款名為“?Mayhem?”的系統(tǒng)，其能同時處理上千種程序，僅幾小時就能處理完成我們數年才能完成的工作。
Mayhem 之所以如此高效，是因為它結合了兩種關鍵技術。一種是名為 Coverage-based Fuzzing 的自動化安全測試標準。簡單而言，該技術就是將數據輸入到一個程序中，并測試是否會觸發(fā)新的事件。其核心就是快速瀏覽和搜索數據。第二種就是符號執(zhí)行（Symbolic Execution），相對應的，就是更精細且慢速地分析程序。兩種技術互補，相得益彰。
ForAllSecure是 Mayhem 項目的重要參與者。創(chuàng)辦 “ForAllSecure” 公司的主要動機源于 Rebert 在卡內基·梅隆大學大學的研究，Rebert 覺得他的發(fā)明能幫助到易受到攻擊的系統(tǒng)，例如電網、醫(yī)院以及銀行等。
對于安全，Rebert 有著獨特的見解，他說：“如今的軟件數量太多了，僅僅靠人類自己審查是不夠的，也是不安全的�！�
榮譽記錄
入選《麻省理工科技評論》2018 年度全球 “35 歲以下科技創(chuàng)新 35 人”先鋒者榜單。
