Michael O. Rabin

Publication Activity (10 Years)

Years Active: 1958-2014
Publications (10 Years): 0

Top Topics

Integrity Verification

Top Venues

Publications

Silvio Micali, Michael O. Rabin
Cryptography miracles, secure auctions, matching problem verification. Commun. ACM 57 (2) (2014)
Michael O. Rabin
Never too early to begin: computer science for high-school students. ITiCSE (2012)
Michael O. Rabin, Yishay Mansour, S. Muthukrishnan, Moti Yung
Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions. ICALP (1) (2012)
David C. Parkes, Michael O. Rabin, Christopher Thorpe
Cryptographic Combinatorial Clock-Proxy Auctions. Financial Cryptography (2009)
David C. Parkes, Michael O. Rabin, Stuart M. Shieber, Christopher Thorpe
Practical secrecy-preserving, verifiably correct and trustworthy auctions. Electron. Commer. Res. Appl. 7 (3) (2008)
Michael O. Rabin
DISC 20th Anniversary: Invited Talk Provably Unbreakable Hyper-Encryption Using Distributed Systems. DISC (2007)
Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe
Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications. LICS (2007)
David C. Parkes, Michael O. Rabin, Stuart M. Shieber, Christopher Thorpe
Practical secrecy-preserving, verifiably correct and trustworthy auctions. ICEC (2006)
Michael O. Rabin
Provably unbreakable hyper-encryption in the limited access model. ICITS (2005)
Michael O. Rabin
How To Exchange Secrets with Oblivious Transfer. IACR Cryptol. ePrint Arch. 2005 (2005)
Jonathan Katz, Rafail Ostrovsky, Michael O. Rabin
Identity-Based Zero Knowledge. SCN (2004)
Silvio Micali, Michael O. Rabin, Joe Kilian
Zero-Knowledge Sets. FOCS (2003)
Michael O. Rabin
Hyper Encryption and Everlasting Secrets. CIAC (2003)
Yonatan Aumann, Yan Zong Ding, Michael O. Rabin
Everlasting security in the bounded storage model. IEEE Trans. Inf. Theory 48 (6) (2002)
Michael A. Bender, Michael O. Rabin
Online Scheduling of Parallel Programs on Heterogeneous Systems with Applications to Cilk. Theory Comput. Syst. 35 (3) (2002)
Yan Zong Ding, Michael O. Rabin
Hyper-Encryption and Everlasting Security. STACS (2002)
Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan
Linear-Consistency Testing. J. Comput. Syst. Sci. 62 (4) (2001)
Michael A. Bender, Michael O. Rabin
Scheduling Cilk multithreaded parallel programs on processors of different speeds. SPAA (2000)
Yonatan Aumann, Michael O. Rabin
Information Theoretically Secure Communication in the Limited Storage Space Model. CRYPTO (1999)
Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan
Linear Consistency Testing. RANDOM-APPROX (1999)
Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan
Linear Consistency Testing Electron. Colloquium Comput. Complex. 6 (25) (1999)
Silvio Micali, Michael O. Rabin, Salil P. Vadhan
Verifiable Random Functions. FOCS (1999)
Yonatan Aumann, Michael O. Rabin
Authentication, Enhanced Security and Error Correcting Codes (Extended Abstract). CRYPTO (1998)
Eyal Kushilevitz, Yishay Mansour, Michael O. Rabin, David Zuckerman
Lower Bounds for Randomized Mutual Exclusion. SIAM J. Comput. 27 (6) (1998)
Rosario Gennaro, Michael O. Rabin, Tal Rabin
Simplified VSS and Fast-Track Multiparty Computations with Applications to Threshold Cryptography. PODC (1998)
Laura F. Landweber, Richard J. Lipton, Michael O. Rabin
DNA computations: A potential "killer app?". DNA Based Computers (1997)
Michael O. Rabin
Correctness of Programs and Protocols through Randomization (Extended Abstract). ASIAN (1997)
Michael O. Rabin
Hashing on strings, cryptography, and protection of privacy. SEQUENCES (1997)
Michael O. Rabin
Computationally Hard Algebraic Problems (extended abstract). FOCS (1996)
Partha Dasgupta, Zvi M. Kedem, Michael O. Rabin
Parallel Processing on Networks of Workstations: A Fault-Tolerant, High Performance Approach. ICDCS (1995)
Eyal Kushilevitz, Yishay Mansour, Michael O. Rabin
On Lotteries with Unique Winners. SIAM J. Discret. Math. 8 (1) (1995)
Yonatan Aumann, Michael O. Rabin
Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation. Theor. Comput. Sci. 128 (1&2) (1994)
Eyal Kushilevitz, Yishay Mansour, Michael O. Rabin, David Zuckerman
Lower bounds for randomized mutual exclusion. STOC (1993)
Yonatan Aumann, Zvi M. Kedem, Krishna V. Palem, Michael O. Rabin
Highly Efficient Asynchronous Execution of Large-Grained Parallel Programs FOCS (1993)
Yonatan Aumann, Michael O. Rabin
Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation (Extended Abstract) FOCS (1992)
Zvi M. Kedem, Krishna V. Palem, Michael O. Rabin, A. Raghunathan
Efficient Program Transformations for Resilient Parallel Computation via Randomization (Preliminary Version) STOC (1992)
Michael O. Rabin
Dependable Parallel Computing by Randomization (Abstract). 25th Anniversary of INRIA (1992)
Eyal Kushilevitz, Michael O. Rabin
Randomized Mutual Exclusion Algorithms Revisited. PODC (1992)
Noga Alon, Daniel J. Kleitman, Richard J. Lipton, Roy Meshulam, Michael O. Rabin, Joel H. Spencer
. Graphs Comb. 7 (2) (1991)
Michael O. Rabin, J. D. Tygar
ITOSS: An Integrated Toolkit For Operating System Security. FODO (1989)
Michael O. Rabin, Vijay V. Vazirani
Maximum Matchings in General Graphs Through Randomization. J. Algorithms 10 (4) (1989)
Michael O. Rabin
Efficient dispersal of information for security, load balancing, and fault tolerance. J. ACM 36 (2) (1989)
Noga Alon, Michael O. Rabin
Biased Coins and Randomized Algorithms. Adv. Comput. Res. 5 (1989)
Joseph Y. Halpern, Michael O. Rabin
A Logic to Reason about Likelihood. Artif. Intell. 32 (3) (1987)
Richard M. Karp, Michael O. Rabin
Efficient Randomized Pattern-Matching Algorithms. IBM J. Res. Dev. 31 (2) (1987)
Benny Chor, Michael O. Rabin
Achieving Independence in Logarithmic Number of Rounds. PODC (1987)
Joseph Y. Halpern, Michael O. Rabin
A Logic to Reason about Likelihood STOC (1983)
Michael O. Rabin
Transaction Protection by Beacons. J. Comput. Syst. Sci. 27 (2) (1983)
Michael O. Rabin
Randomized Byzantine Generals FOCS (1983)
Michael O. Rabin
The Choice Coordination Problem. Acta Informatica 17 (1982)
Michael O. Rabin
N-Process Mutual Exclusion with Bounded Waiting by 4 Log_2 N-Valued Shared Variable. J. Comput. Syst. Sci. 25 (1) (1982)
Daniel Lehmann, Michael O. Rabin
On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem. POPL (1981)
Michael O. Rabin
Probabilistic Algorithms in Finite Fields. SIAM J. Comput. 9 (2) (1980)
Michael O. Rabin
N-Process Synchronization by 4 log _2 N-Valued Shared Variables FOCS (1980)
Michael O. Rabin
Complexity of Computations. Commun. ACM 20 (9) (1977)
Michael O. Rabin
Theoretical Impediments to Artificial Intelligence. IFIP Congress (1974)
Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer
A Characterization of the Power of Vector Machines STOC (1974)
Michael O. Rabin
Proving Simultaneous Positivity of Linear Forms. J. Comput. Syst. Sci. 6 (6) (1972)
Michael O. Rabin
Solving Linear Equations by Means of Scalar Products. Complexity of Computer Computations (1972)
Michael O. Rabin, Michael D. Morley
Meeting of the Association for Symbolic Logic. J. Symb. Log. 36 (4) (1971)
Calvin C. Elgot, Michael O. Rabin
Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor. J. Symb. Log. 31 (2) (1966)
Michael O. Rabin
Probabilistic Automata Inf. Control. 6 (3) (1963)
Michael O. Rabin, Hao Wang
Words in the History of a Turing Machine with a Fixed Input. J. ACM 10 (4) (1963)
Micha A. Perles, Michael O. Rabin, Eliahu Shamir
The Theory of Definite Automata. IEEE Trans. Electron. Comput. 12 (3) (1963)
Michael O. Rabin, Dana S. Scott
Finite Automata and Their Decision Problems. IBM J. Res. Dev. 3 (2) (1959)
W. Wesley Peterson, Michael O. Rabin
On Codes for Checking Logical Operations. IBM J. Res. Dev. 3 (2) (1959)
Michael O. Rabin
On Recursively Enumerable and Arithmetic Models of Set Theory. J. Symb. Log. 23 (4) (1958)