Concepedia

M. O. Rabin

MO

Statistics

Publications

16

Citations

4.4K

H-Index

15

Active since

1959

Affiliations

Harvard University Press(Current)

Harvard University

Hebrew University of Jerusalem

Massachusetts Institute of Technology

Courant Institute of Mathematical Sciences

M. O. Rabin is an author at Harvard University Press specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsCryptographyData PrivacyData SecurityAutomated ReasoningProgram AnalysisParallel Computing

Publications per year

1959–2006

16

Publications

16

Finite Automata and Their Decision Problems

M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations

Logical Automaton, Engineering, Automaton Network +14

DIGITALIZED SIGNATURES AND PUBLIC-KEY FUNCTIONS AS INTRACTABLE AS FACTORIZATION

M. O. Rabin · 1979 · 1K citations · Full text

Verifiable random functions

Silvio Micali, M. O. Rabin, Salil Vadhan · 2003 · 670 citations

Cryptographic Primitive, Engineering, Verification +19

Zero-knowledge sets

Silvio Micali, M. O. Rabin, Joe Kilian · 2004 · 172 citations

Cryptographic Primitive, Public Random String, Engineering +14

The Theory of Definite Automata

Micha A. Perles, M. O. Rabin, Eliahu Shamir · IEEE Transactions on Electronic Computers · 1963 · 169 citations

Logical Automaton, Engineering, Definite Automata +13

1–5 of 16