Rabinille on myönnetty Dana Scottin kanssa Turing-palkinto vuonna 1976 heidän yhteisestä tutkimusartikkelistaan Finite Automata and Their Decision Problem, joka esitteli epädeterminististen koneiden käsitteen.[1]
Rabin tunnetaan myös Miller–Rabin testialgoritmista, jolla selvitetään, onko numero alkuluku.[1][2] Rabin kehitti myös asymmetrisen kryptauksen muodon, joka tunnetaan nimellä Rabin-kryptojärjestelmä.[3]