Michael O. Rabin

67 papers A* 18A 3B 2C 2Misc 1Journal 30Unranked 11

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