Blum, Manuel
Overview
Works:  30 works in 42 publications in 1 language and 61 library holdings 

Genres:  Conference proceedings 
Roles:  Author, Honoree 
Classifications:  QA76.M41, 
Publication Timeline
.
Most widely held works about
Manuel Blum
 Blum, Manuel: Computer Science ( )
 Selected papers in honor of Manuel Blum : [on 26 April, 1998 Manuel Blum celebrated his 60th birthday; to honor the occasion an international conference in Theoretical Comuter Science was organized at the City University of Hong Kong during the week of 2024 April, 1998] ( Book )
Most widely held works by
Manuel Blum
Noninteractive zero knowledge
by M Blum(
Book
)
5 editions published in 1990 in English and held by 10 WorldCat member libraries worldwide
We investigate the possibility of disposing of interaction between Prover and Verifier in a zeroknowledge proof if they share beforehand a short random string. Without any assumption, we prove that noninteractive zeroknowledge proofs exist for some number theoretic languages for which no efficient algorithm is known. If deciding quadratic residuosity (modulo composite integers whose factorization is not known) is computationally hard, we show that the NPcomplete language of satisfiability also possesses noninteractive zeroknowledge proofs. (kr)
5 editions published in 1990 in English and held by 10 WorldCat member libraries worldwide
We investigate the possibility of disposing of interaction between Prover and Verifier in a zeroknowledge proof if they share beforehand a short random string. Without any assumption, we prove that noninteractive zeroknowledge proofs exist for some number theoretic languages for which no efficient algorithm is known. If deciding quadratic residuosity (modulo composite integers whose factorization is not known) is computationally hard, we show that the NPcomplete language of satisfiability also possesses noninteractive zeroknowledge proofs. (kr)
Proceedings of 1999 International Workshop on Cryptographic Techniuqes and ECommerce : 58 July 1999, City University of Hong Kong
by
International Workshop on Cryptographic Techniques & ECommerce(
Book
)
2 editions published in 1999 in English and held by 7 WorldCat member libraries worldwide
2 editions published in 1999 in English and held by 7 WorldCat member libraries worldwide
A stability test for configurations of blocks
by
Manuel Blum(
Book
)
4 editions published in 1970 in English and held by 6 WorldCat member libraries worldwide
4 editions published in 1970 in English and held by 6 WorldCat member libraries worldwide
Selected papers in honor of Manuel Blum : [on 26 April, 1998 Manuel Blum celebrated his 60th birthday; to honor the occasion an international conference in Theoretical Comuter Science was organized at the City University of Hong Kong during the week of 2024 April, 1998]
(
Book
)
2 editions published in 2000 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 2000 in English and held by 3 WorldCat member libraries worldwide
Software reliability via runtime resultchecking
by
Manuel Blum(
Book
)
2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
Abstract: "We review the field of resultchecking, discussing simple checkers and selfcorrectors. We argue that such checkers could profitably be incorporated in software as an aid to efficient debugging and reliable functionality. We consider how to modify traditional checking methodologies to make them more appropriate for use in realtime, real number computer systems. In particular, we suggest that checkers should be allowed to use stored randomness: i.e., that they should be allowed to generate, preprocess, and store random bits prior to runtime, and then to use this information repeatedly in a series of runtime checks. In a case study of checking a general realnumber linear transformation (for example, a Fourier Transform), we present a simple checker which uses stored randomness, and a selfcorrector which is particularly efficient if stored randomness is allowed."
2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
Abstract: "We review the field of resultchecking, discussing simple checkers and selfcorrectors. We argue that such checkers could profitably be incorporated in software as an aid to efficient debugging and reliable functionality. We consider how to modify traditional checking methodologies to make them more appropriate for use in realtime, real number computer systems. In particular, we suggest that checkers should be allowed to use stored randomness: i.e., that they should be allowed to generate, preprocess, and store random bits prior to runtime, and then to use this information repeatedly in a series of runtime checks. In a case study of checking a general realnumber linear transformation (for example, a Fourier Transform), we present a simple checker which uses stored randomness, and a selfcorrector which is particularly efficient if stored randomness is allowed."
Program correctness : can one test for it?
by
Manuel Blum(
Book
)
1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide
33rd annual symposium on foundations of computer science, October 2427, 1992, Pittsburgh, Pa : proceedings
(
Book
)
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
On the power of the compass : (or, why mazes are easier to search than graphs)
by
Manuel Blum(
Book
)
1 edition published in 1978 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1978 in English and held by 2 WorldCat member libraries worldwide
Designing programs to check their work
by
Manuel Blum(
Book
)
1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide
Efficient algorithms & intractable problems
by
Manuel Blum(
Visual
)
2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide
Shows how to solve and analyse "intractable problems" such as computational, decision and search problems using algorithms
2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide
Shows how to solve and analyse "intractable problems" such as computational, decision and search problems using algorithms
Towards a computational theory of statistical tests
by
Manuel Blum(
Book
)
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
On the capability of finite automata in 2 and 3 dimensional space
by
Manuel Blum(
Book
)
1 edition published in 1978 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1978 in English and held by 2 WorldCat member libraries worldwide
A machineindependent theory of the complexity of recursive functions
by
Manuel Blum(
Book
)
1 edition published in 1964 in English and held by 1 WorldCat member library worldwide
1 edition published in 1964 in English and held by 1 WorldCat member library worldwide
Reliability of biological computers
by
Manuel Blum(
Book
)
1 edition published in 1961 in English and held by 1 WorldCat member library worldwide
1 edition published in 1961 in English and held by 1 WorldCat member library worldwide
Selected papers in honor of Manuel Blum
by
Lenore Blum(
Book
)
1 edition published in 2000 in English and held by 1 WorldCat member library worldwide
1 edition published in 2000 in English and held by 1 WorldCat member library worldwide
Theoretical computer science : selected papers in honor of Manuel Blum
(
Book
)
1 edition published in 2000 in English and held by 1 WorldCat member library worldwide
1 edition published in 2000 in English and held by 1 WorldCat member library worldwide
Time bounds for selection
by M Blum(
Book
)
1 edition published in 1973 in English and held by 1 WorldCat member library worldwide
1 edition published in 1973 in English and held by 1 WorldCat member library worldwide
Selftesting/correcting with applications to numerical problems
by
Manuel Blum(
Book
)
1 edition published in 1991 in English and held by 1 WorldCat member library worldwide
Abstract: "Suppose someone gives us an extremely fast program P that we can call as a black box to compute a function f. Should we trust that P works correctly? A selftesting/correcting pair for f allows us to: (1) estimate the probability that P(x) [not equal to] f(x) when x is randomly chosen; (2) on any input x, compute f(x) correctly as long as P is not too faulty on average. Furthermore, both (1) and (2) take time only slightly more than the original running time of P. We present general techniques for constructing simple to program selftesting/correcting pairs for a variety of numerical functions, including integer multiplication, modular multiplication, matrix multiplication, inverting matrices, computing the determinant of a matrix, computing the rank of a matrix, integer division, modular exponentiation and polynomial multiplication."
1 edition published in 1991 in English and held by 1 WorldCat member library worldwide
Abstract: "Suppose someone gives us an extremely fast program P that we can call as a black box to compute a function f. Should we trust that P works correctly? A selftesting/correcting pair for f allows us to: (1) estimate the probability that P(x) [not equal to] f(x) when x is randomly chosen; (2) on any input x, compute f(x) correctly as long as P is not too faulty on average. Furthermore, both (1) and (2) take time only slightly more than the original running time of P. We present general techniques for constructing simple to program selftesting/correcting pairs for a variety of numerical functions, including integer multiplication, modular multiplication, matrix multiplication, inverting matrices, computing the determinant of a matrix, computing the rank of a matrix, integer division, modular exponentiation and polynomial multiplication."
Program correctness checking : and the design of programs that check their work
by
Manuel Blum(
Book
)
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
Designing programs that check their work
by
Manuel Blum(
Book
)
1 edition published in 1995 in English and held by 1 WorldCat member library worldwide
1 edition published in 1995 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Associated Subjects
Algorithms Awards Canada ChinaHong Kong College teachers Computer algorithms Computer programsCorrectness Computer programsVerification Computer security Computer softwareReliability Cryptography Educational assistance Electronic commerce Errorcorrecting codes (Information theory) Machine learning Proof theory Proof theoryData processing Research Scientists Structural stabilityData processing United States Universities and collegesFaculty
Languages