マイケル・ラビン
これは、数が素数であるかどうかを非常に迅速に判定できる確率的アルゴリズムである(ただし間違う可能性が若干存在する)。公開鍵暗号にはRSA暗号のように大きな素数を秘密鍵とするものも多く、高速な素数判定法は鍵生成の実装に重要である。2003年、ミラーとラビンは他の関係者と共に素数判定法における業績を称えられ、Paris Kanellakis Award を受賞した。
1979年、ラビンはラビン暗号を発明した。それは、暗号文を解読する手間が公開鍵である合成数の素因数分解と同程度と証明された最初の公開鍵暗号である。
1981年、ラビンは紛失通信 (Oblivious Transfer) と呼ばれる手法を発明した。これは、送信側が2つのメッセージを送り、受信側がそのうち片方のみを受け取るが、送信側にはどちらを受け取ったか分からないというもので、マルチパーティプロトコルの部品としても使用される暗号プロトコルの要素技術の一つである。
1987年、ラビンはリチャード・カープとともに有名で効率的な文字列探索法、ラビン-カープ文字列探索アルゴリズムを開発した。
ラビンはその後コンピュータセキュリティの研究に集中している。彼はハーバード大学とヘブライ大学の計算機科学の教授である。2007年には、客員教授としてコロンビア大学で「暗号理論入門」を教えた。
米国科学アカデミーの外国会員であり、フランス科学アカデミーの会員であり、王立協会の外国会員である。
指導した学生としてサハロン・シェラハがおり、数理論理学の研究者として活躍している。