Michael O. Rabin Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin, Yishay Mansour, S. Muthukrishnan, Moti Yung: Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions. ICALP (1) 2012: 738-749
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Never too early to begin: computer science for high-school students. ITiCSE 2012: 1
2009
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David C. Parkes, Michael O. Rabin, Christopher Thorpe: Cryptographic Combinatorial Clock-Proxy Auctions. Financial Cryptography 2009: 305-324
2008
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David C. Parkes, Michael O. Rabin, Stuart M. Shieber, Christopher Thorpe: Practical secrecy-preserving, verifiably correct and trustworthy auctions. Electronic Commerce Research and Applications 7(3): 294-312 (2008)
2007
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe: Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications. LICS 2007: 63-76
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: DISC 20th Anniversary: Invited Talk Provably Unbreakable Hyper-Encryption Using Distributed Systems. DISC 2007: 506-508
2006
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David C. Parkes, Michael O. Rabin, Stuart M. Shieber, C. A. Thorpe: Practical secrecy-preserving, verifiably correct and trustworthy auctions. ICEC 2006: 70-81
2005
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: How To Exchange Secrets with Oblivious Transfer. IACR Cryptology ePrint Archive 2005: 187 (2005)
2004
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Katz, Rafail Ostrovsky, Michael O. Rabin: Identity-Based Zero Knowledge. SCN 2004: 180-192
2003
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Hyper Encryption and Everlasting Secrets. CIAC 2003: 7-10
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Silvio Micali, Michael O. Rabin, Joe Kilian: Zero-Knowledge Sets. FOCS 2003: 80-91
2002
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael A. Bender, Michael O. Rabin: Online Scheduling of Parallel Programs on Heterogeneous Systems with Applications to Cilk. Theory Comput. Syst. 35(3): 289-304 (2002)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yonatan Aumann, Yan Zong Ding, Michael O. Rabin: Everlasting security in the bounded storage model. IEEE Transactions on Information Theory 48(6): 1668-1680 (2002)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yan Zong Ding, Michael O. Rabin: Hyper-Encryption and Everlasting Security. STACS 2002: 1-26
2001
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan: Linear-Consistency Testing. J. Comput. Syst. Sci. 62(4): 589-607 (2001)
2000
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael A. Bender, Michael O. Rabin: Scheduling Cilk multithreaded parallel programs on processors of different speeds. SPAA 2000: 13-21
1999
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yonatan Aumann, Michael O. Rabin: Information Theoretically Secure Communication in the Limited Storage Space Model. CRYPTO 1999: 65-79
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Silvio Micali, Michael O. Rabin, Salil P. Vadhan: Verifiable Random Functions. FOCS 1999: 120-130
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan: Linear Consistency Testing. RANDOM-APPROX 1999: 109-120
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan: Linear Consistency Testing. Electronic Colloquium on Computational Complexity (ECCC) 6(25) (1999)
1998
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Kushilevitz, Yishay Mansour, Michael O. Rabin, David Zuckerman: Lower Bounds for Randomized Mutual Exclusion. SIAM J. Comput. 27(6): 1550-1563 (1998)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yonatan Aumann, Michael O. Rabin: Authentication, Enhanced Security and Error Correcting Codes (Extended Abstract). CRYPTO 1998: 299-303
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rosario Gennaro, Michael O. Rabin, Tal Rabin: Simplified VSS and Fact-Track Multiparty Computations with Applications to Threshold Cryptography. PODC 1998: 101-111
1997
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Correctness of Programs and Protocols through Randomization (Extended Abstract). ASIAN 1997: 1-3
1996
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Computationally Hard Algebraic Problems (extended abstract). FOCS 1996: 284-289
1995
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Kushilevitz, Yishay Mansour, Michael O. Rabin: On Lotteries with Unique Winners. SIAM J. Discrete Math. 8(1): 93-98 (1995)
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Partha Dasgupta, Zvi M. Kedem, Michael O. Rabin: Parallel Processing on Networks of Workstations: A Fault-Tolerant, High Performance Approach. ICDCS 1995: 467-474
1994
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yonatan Aumann, Michael O. Rabin: Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation. Theor. Comput. Sci. 128(1&2): 3-30 (1994)
1993
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yonatan Aumann, Zvi M. Kedem, Krishna V. Palem, Michael O. Rabin: Highly Efficient Asynchronous Execution of Large-Grained Parallel Programs. FOCS 1993: 271-280
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Kushilevitz, Yishay Mansour, Michael O. Rabin, David Zuckerman: Lower bounds for randomized mutual exclusion. STOC 1993: 154-163
1992
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yonatan Aumann, Michael O. Rabin: Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation (Extended Abstract). FOCS 1992: 147-156
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Dependable Parallel Computing by Randomization (Abstract). 25th Anniversary of INRIA 1992: 19-20
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Kushilevitz, Michael O. Rabin: Randomized Mutual Exclusion Algorithms Revisited. PODC 1992: 275-283
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zvi M. Kedem, Krishna V. Palem, Michael O. Rabin, A. Raghunathan: Efficient Program Transformations for Resilient Parallel Computation via Randomization (Preliminary Version). STOC 1992: 306-317
1991
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Noga Alon, Daniel J. Kleitman, Richard Lipton, Roy Meshulam, Michael O. Rabin, Joel H. Spencer: Set systems with no union of cardinality 0 modulom. Graphs and Combinatorics 7(2): 97-99 (1991)
1989
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Efficient dispersal of information for security, load balancing, and fault tolerance. J. ACM 36(2): 335-348 (1989)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin, Vijay V. Vazirani: Maximum Matchings in General Graphs Through Randomization. J. Algorithms 10(4): 557-567 (1989)
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin, J. D. Tygar: ITOSS: An Integrated Toolkit For Operating System Security. FODO 1989: 2-15
1987
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joseph Y. Halpern, Michael O. Rabin: A Logic to Reason about Likelihood. Artif. Intell. 32(3): 379-405 (1987)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard M. Karp, Michael O. Rabin: Efficient Randomized Pattern-Matching Algorithms. IBM Journal of Research and Development 31(2): 249-260 (1987)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benny Chor, Michael O. Rabin: Achieving Independence in Logarithmic Number of Rounds. PODC 1987: 260-268
1983
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Transaction Protection by Beacons. J. Comput. Syst. Sci. 27(2): 256-267 (1983)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Randomized Byzantine Generals. FOCS 1983: 403-409
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joseph Y. Halpern, Michael O. Rabin: A Logic to Reason about Likelihood. STOC 1983: 310-319
1982
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: The Choice Coordination Problem. Acta Inf. 17: 121-134 (1982)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: N-Process Mutual Exclusion with Bounded Waiting by 4 Log_2 N-Valued Shared Variable. J. Comput. Syst. Sci. 25(1): 66-75 (1982)
1981
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Lehmann, Michael O. Rabin: On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem. POPL 1981: 133-138
1980
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Probabilistic Algorithms in Finite Fields. SIAM J. Comput. 9(2): 273-280 (1980)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: N-Process Synchronization by 4 log _2 N-Valued Shared Variables. FOCS 1980: 407-410
1977
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Complexity of Computations. Commun. ACM 20(9): 625-633 (1977)
1974
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Theoretical Impediments to Artificial Intelligence. IFIP Congress 1974: 615-619
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer: A Characterization of the Power of Vector Machines. STOC 1974: 122-134
1972
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Proving Simultaneous Positivity of Linear Forms. J. Comput. Syst. Sci. 6(6): 639-650 (1972)
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Solving Linear Equations by Means of Scalar Products. Complexity of Computer Computations 1972: 11-20
1971
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin, Michael Morley: Meeting of the Association for Symbolic Logic. J. Symb. Log. 36(4): 696-710 (1971)
1966
j4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Calvin C. Elgot, Michael O. Rabin: Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor. J. Symb. Log. 31(2): 169-181 (1966)
1963
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: Probabilistic Automata. Information and Control 6(3): 230-245 (1963)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin, Hao Wang: Words in the History of a Turing Machine with a Fixed Input. J. ACM 10(4): 526-527 (1963)
1958
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael O. Rabin: On Recursively Enumerable and Arithmetic Models of Set Theory. J. Symb. Log. 23(4): 408-416 (1958)

Coauthor Index

1Noga Alon
[j16]
2Yonatan Aumann
[j21] [j20] [c23] [c21] [i1] [c20] [j17] [c15] [c13]
3Michael A. Bender
[j22] [c24]
4Benny Chor
[c8]
5Partha Dasgupta
[c16]
6Yan Zong Ding
[j21] [c25]
7Calvin C. Elgot
[j4]
8Rosario Gennaro
[c19]
9Joseph Y. Halpern
[j13] [c6]
10Johan Håstad
[j20] [c21] [i1]
11Richard M. Karp
[j12]
12Jonathan Katz
[c28]
13Zvi M. Kedem
[c16] [c15] [c10]
14Joe Kilian
[c26]
15Daniel J. Kleitman
[j16]
16Eyal Kushilevitz
[j19] [j18] [c14] [c11]
17Daniel J. Lehmann
[c5]
18Richard Lipton
[j16]
19Yishay Mansour
[c34] [j19] [j18] [c14]
20Roy Meshulam
[j16]
21Silvio Micali
[c26] [c22]
22Michael Morley
[j5]
23S. Muthukrishnan (S. Muthu Muthukrishnan)
[c34]
24Rafail Ostrovsky
[c28]
25Krishna V. Palem
[c15] [c10]
26David C. Parkes
[c32] [j23] [c29]
27Vaughan R. Pratt
[c2]
28Tal Rabin
[c19]
29A. Raghunathan
[c10]
30Rocco A. Servedio
[c31]
31Stuart M. Shieber
[j23] [c29]
32Joel H. Spencer (Joel Spencer)
[j16]
33Larry J. Stockmeyer
[c2]
34Madhu Sudan
[j20] [c21] [i1]
35C. A. Thorpe
[c29]
36Christopher Thorpe
[c32] [j23] [c31]
37J. Doug Tygar (J. D. Tygar)
[c9]
38Salil P. Vadhan
[c22]
39Vijay V. Vazirani
[j14]
40Hao Wang
[j2]
41Moti Yung (Mordechai M. Yung)
[c34]
42David Zuckerman
[j19] [c14]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 17:13:56 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page