Manuel Blum

According to our database, Manuel Blum authored at least 75 papers between 1967 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2024

AI Consciousness is Inevitable: A Theoretical Computer Science Perspective.

Lenore Blum, Manuel Blum

CoRR, 2024

2023

Viewpoint: A Theoretical Computer Science Perspective on Consciousness and Artificial General Intelligence.

Lenore Blum, Manuel Blum

CoRR, 2023

2022

A Theoretical Computer Science Perspective on Free Will.

Lenore Blum, Manuel Blum

CoRR, 2022

2021

A Theoretical Computer Science Perspective on Consciousness.

Manuel Blum, Lenore Blum

J. Artif. Intell. Conscious., 2021

A Theory of Consciousness from a Theoretical Computer Science Perspective: Insights from the Conscious Turing Machine.

Lenore Blum, Manuel Blum

CoRR, 2021

2020

The complexity of human computation via a concrete model with an application to passwords.

Manuel Blum, Santosh S. Vempala

Proc. Natl. Acad. Sci. USA, 2020

2019

Human-Usable Password Schemas: Beyond Information-Theoretic Security.

Elan Rosenfeld, Santosh S. Vempala, Manuel Blum

CoRR, 2019

How to generate cryptographically strong sequences of pseudo random bits.

Manuel Blum, Silvio Micali

Proceedings of the Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, 2019

Non-interactive zero-knowledge and its applications.

Manuel Blum, Paul Feldman, Silvio Micali

Proceedings of the Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, 2019

2017

The Complexity of Human Computation: A Concrete Model with an Application to Passwords.

Manuel Blum, Santosh S. Vempala

CoRR, 2017

Towards Human Computable Passwords.

Jeremiah Blocki, Manuel Blum, Anupam Datta, Santosh S. Vempala

Proceedings of the 8th Innovations in Theoretical Computer Science Conference, 2017

2016

Cybernetics: A mathematician of mind.

Manuel Blum

Nat., 2016

2015

Naturally Rehearsing Passwords.

Jeremiah Blocki, Manuel Blum, Anupam Datta

IACR Cryptol. ePrint Arch., 2015

Publishable Humanly Usable Secure Password Creation Schemas.

Manuel Blum, Santosh Srinivas Vempala

Proceedings of the Third AAAI Conference on Human Computation and Crowdsourcing, 2015

2014

Human Computable Passwords.

Jeremiah Blocki, Manuel Blum, Anupam Datta

CoRR, 2014

2013

GOTCHA password hackers!

Jeremiah Blocki, Manuel Blum, Anupam Datta

Proceedings of the AISec'13, 2013

2010

Understanding and Inductive Inference.

Manuel Blum

Proceedings of the Computing and Combinatorics, 16th Annual International Conference, 2010

2007

Improving Image Search with PHETCH.

Luis von Ahn, Shiry Ginosar, Mihir Kedia, Manuel Blum

Proceedings of the IEEE International Conference on Acoustics, 2007

2006

Peekaboom: a game for locating objects in images.

Luis von Ahn, Ruoran Liu, Manuel Blum

Proceedings of the 2006 Conference on Human Factors in Computing Systems, 2006

Verbosity: a game for collecting common-sense facts.

Luis von Ahn, Mihir Kedia, Manuel Blum

Proceedings of the 2006 Conference on Human Factors in Computing Systems, 2006

Improving accessibility of the web with a computer game.

Luis von Ahn, Shiry Ginosar, Mihir Kedia, Ruoran Liu, Manuel Blum

Proceedings of the 2006 Conference on Human Factors in Computing Systems, 2006

2004

Telling humans and computers apart automatically.

Luis von Ahn, Manuel Blum, John Langford

Commun. ACM, 2004

2003

CAPTCHA: Using Hard AI Problems for Security.

Luis von Ahn, Manuel Blum, Nicholas J. Hopper, John Langford

Proceedings of the Advances in Cryptology, 2003

2001

Secure Human Identification Protocols.

Nicholas J. Hopper, Manuel Blum

Proceedings of the Advances in Cryptology, 2001

1997

Software reliability via run-time result-checking.

Hal Wasserman, Manuel Blum

J. ACM, 1997

Program Error Detection/Correction: Turning PAC Learning into PERFECT Learning (Abstract).

Manuel Blum

Proceedings of the Algorithmic Learning Theory, 8th International Conference, 1997

1996

Reflections on the Pentium Bug.

Manuel Blum, Hal Wasserman

IEEE Trans. Computers, 1996

1995

Contributions of theoretical computer science.

Amihood Amir, Manuel Blum, Michael C. Loui, John E. Savage, Carl Smith

SIGACT News, 1995

Designing Programs that Check Their Work.

Manuel Blum, Sampath Kannan

J. ACM, 1995

on the Problem of Sorting Burnt Pancakes.

David S. Cohen, Manuel Blum

Discret. Appl. Math., 1995

Self-Correcting for Function Fields Transcendental Degree.

Manuel Blum, Bruno Codenotti, Peter Gemmell, Troy Shahoumian

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

1994

Checking the Correctness of Memories.

Manuel Blum, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor

Algorithmica, 1994

Matching Nuts and Bolts.

Noga Alon, Manuel Blum, Amos Fiat, Sampath Kannan, Moni Naor, Rafail Ostrovsky

Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. 23-25 January 1994, 1994

Program Result-Checking: A Theory of Testing Meets a Test of Theory

Manuel Blum, Hal Wasserman

Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994

1993

Self-Testing/Correcting with Applications to Numerical Problems.

Manuel Blum, Michael Luby, Ronitt Rubinfeld

J. Comput. Syst. Sci., 1993

Checking approximate computations over the reals.

Sigal Ar, Manuel Blum, Bruno Codenotti, Peter Gemmell

Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 1993

Designing Programs to Check Their Work (Abstract).

Manuel Blum

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

Program Result Checking: A New Approach to Making Programs More Reliable.

Manuel Blum

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

Universal Statistical Tests.

Manuel Blum

Proceedings of the LATIN '92, 1992

Towards a Computational Theory of Statistical Tests (Extended Abstract)

Manuel Blum, Oded Goldreich

Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 1992

1991

Noninteractive Zero-Knowledge.

Manuel Blum, Alfredo De Santis, Silvio Micali, Giuseppe Persiano

SIAM J. Comput., 1991

Inductive Inference and Unsolvability.

Leonard M. Adleman, Manuel Blum

J. Symb. Log., 1991

Program Checking.

Manuel Blum

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991

1989

Reversing Trains: A Turn of the Century Sorting Problem.

Nancy M. Amato, Manuel Blum, Sandy Irani, Ronitt Rubinfeld

J. Algorithms, 1989

Program Correctness: Can One Test For It?

Manuel Blum, Prabhakar Raghavan

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Program Result Checking against Adaptive Programs and in Cryptographic Settings.

Manuel Blum, Michael Luby, Ronitt Rubinfeld

Proceedings of the Distributed Computing And Cryptography, 1989

1988

Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract)

Manuel Blum, Paul Feldman, Silvio Micali

Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

Proving Security Against Chosen Cyphertext Attacks.

Manuel Blum, Paul Feldman, Silvio Micali

Proceedings of the Advances in Cryptology, 1988

1987

Generic Oracles and Oracle Classes (Extended Abstract)

Manuel Blum, Russell Impagliazzo

Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987

1986

A Simple Unpredictable Pseudo-Random Number Generator.

Lenore Blum, Manuel Blum, Mike Shub

SIAM J. Comput., 1986

Independent unbiased coin flips from a correlated biased source-a finite stae Markov chain.

Manuel Blum

Comb., 1986

1984

How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits.

Manuel Blum, Silvio Micali

SIAM J. Comput., 1984

Independent Unbiased Coin Flips From a Correlated Biased Source: a Finite State Markov Chain

Manuel Blum

Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984

An Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information.

Manuel Blum, Shafi Goldwasser

Proceedings of the Advances in Cryptology, 1984

1983

How to Exchange (Secret) Keys

Manuel Blum

ACM Trans. Comput. Syst., 1983

Coin flipping by telephone a protocol for solving impossible problems.

Manuel Blum

SIGACT News, 1983

How to Exchange (Secret) Keys (Extended Abstract)

Manuel Blum

Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983

Reducibility Among Protocols.

Manuel Blum, Umesh V. Vazirani, Vijay V. Vazirani

Proceedings of the Advances in Cryptology, 1983

1982

Comparison of Two Pseudo-Random Number Generators.

Lenore Blum, Manuel Blum, Mike Shub

Proceedings of the Advances in Cryptology: Proceedings of CRYPTO '82, 1982

1981

The Complexity of Testing Whether a Graph is a Superconcentrator.

Manuel Blum, Richard M. Karp, Oliver Vornberger, Christos H. Papadimitriou, Mihalis Yannakakis

Inf. Process. Lett., 1981

Coin Flipping by Telephone.

Manuel Blum

Proceedings of the Advances in Cryptology: A Report on CRYPTO 81, 1981

1980

Equivalence of Free Boolean Graphs can be Decided Probabilistically in Polynomial Time.

Manuel Blum, Ashok K. Chandra, Mark N. Wegman

Inf. Process. Lett., 1980

1978

On the Power of the Compass (or, Why Mazes Are Easier to Search than Graphs)

Manuel Blum, Dexter Kozen

Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978

1977

On the Capability of Finite Automata in 2 and 3 Dimensional Space

Manuel Blum, William J. Sakoda

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1975

Toward a Mathematical Theory of Inductive Inference

Lenore Blum, Manuel Blum

Inf. Control., June, 1975

1974

On Almost Everywhere Complex Recursive Functions.

John Gill, Manuel Blum

J. ACM, 1974

1973

On Complexity Properties of Recursively Enumerable Sets.

Manuel Blum, Ivan Marques

J. Symb. Log., 1973

Time Bounds for Selection.

Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan

J. Comput. Syst. Sci., 1973

Inductive Inference: A Recursion Theoretic Approach

Lenore Blum, Manuel Blum

Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973

1972

Linear Time Bounds for Median Computations

Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

1971

On Effective Procedures for Speeding Up Algorithms.

Manuel Blum

J. ACM, 1971

1968

Tape Reversal Complexity Hierarchies

Patrick C. Fischer, Juris Hartmanis, Manuel Blum

Proceedings of the 9th Annual Symposium on Switching and Automata Theory, 1968

1967

On the Size of Machines

Manuel Blum

Inf. Control., September, 1967

A Machine-Independent Theory of the Complexity of Recursive Functions.

Manuel Blum

J. ACM, 1967

Automata on a 2-Dimensional Tape

Manuel Blum, Carl Hewitt

Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967