Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manuel Blum 0001
@article{DBLP:journals/corr/abs-2403-17101,
author = {Lenore Blum and
Manuel Blum},
title = {{AI} Consciousness is Inevitable: {A} Theoretical Computer Science
Perspective},
journal = {CoRR},
volume = {abs/2403.17101},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.17101},
doi = {10.48550/ARXIV.2403.17101},
eprinttype = {arXiv},
eprint = {2403.17101},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-17101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-17075,
author = {Lenore Blum and
Manuel Blum},
title = {Viewpoint: {A} Theoretical Computer Science Perspective on Consciousness
and Artificial General Intelligence},
journal = {CoRR},
volume = {abs/2303.17075},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.17075},
doi = {10.48550/ARXIV.2303.17075},
eprinttype = {arXiv},
eprint = {2303.17075},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-17075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13942,
author = {Lenore Blum and
Manuel Blum},
title = {A Theoretical Computer Science Perspective on Free Will},
journal = {CoRR},
volume = {abs/2206.13942},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13942},
doi = {10.48550/ARXIV.2206.13942},
eprinttype = {arXiv},
eprint = {2206.13942},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13942.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaic/0001B21,
author = {Manuel Blum and
Lenore Blum},
title = {A Theoretical Computer Science Perspective on Consciousness},
journal = {J. Artif. Intell. Conscious.},
volume = {8},
number = {1},
pages = {1--42},
year = {2021},
url = {https://doi.org/10.1142/s2705078521500028},
doi = {10.1142/S2705078521500028},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaic/0001B21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-13704,
author = {Lenore Blum and
Manuel Blum},
title = {A Theory of Consciousness from a Theoretical Computer Science Perspective:
Insights from the Conscious Turing Machine},
journal = {CoRR},
volume = {abs/2107.13704},
year = {2021},
url = {https://arxiv.org/abs/2107.13704},
eprinttype = {arXiv},
eprint = {2107.13704},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-13704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pnas/0001V20,
author = {Manuel Blum and
Santosh S. Vempala},
title = {The complexity of human computation via a concrete model with an application
to passwords},
journal = {Proc. Natl. Acad. Sci. {USA}},
volume = {117},
number = {17},
pages = {9208--9215},
year = {2020},
url = {https://doi.org/10.1073/pnas.1801839117},
doi = {10.1073/PNAS.1801839117},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pnas/0001V20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-09850,
author = {Manuel Blum and
Lenore Blum},
title = {A Theoretical Computer Science Perspective on Consciousness},
journal = {CoRR},
volume = {abs/2011.09850},
year = {2020},
url = {https://arxiv.org/abs/2011.09850},
eprinttype = {arXiv},
eprint = {2011.09850},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-09850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/0001M19,
author = {Manuel Blum and
Silvio Micali},
editor = {Oded Goldreich},
title = {How to generate cryptographically strong sequences of pseudo random
bits},
booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi
Goldwasser and Silvio Micali},
pages = {227--240},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335741.3335751},
doi = {10.1145/3335741.3335751},
timestamp = {Tue, 05 Nov 2019 15:40:16 +0100},
biburl = {https://dblp.org/rec/books/acm/19/0001M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/0001FM19,
author = {Manuel Blum and
Paul Feldman and
Silvio Micali},
editor = {Oded Goldreich},
title = {Non-interactive zero-knowledge and its applications},
booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi
Goldwasser and Silvio Micali},
pages = {329--349},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335741.3335757},
doi = {10.1145/3335741.3335757},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/acm/19/0001FM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00029,
author = {Elan Rosenfeld and
Santosh S. Vempala and
Manuel Blum},
title = {Human-Usable Password Schemas: Beyond Information-Theoretic Security},
journal = {CoRR},
volume = {abs/1906.00029},
year = {2019},
url = {http://arxiv.org/abs/1906.00029},
eprinttype = {arXiv},
eprint = {1906.00029},
timestamp = {Thu, 24 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/Blocki0DV17,
author = {Jeremiah Blocki and
Manuel Blum and
Anupam Datta and
Santosh S. Vempala},
editor = {Christos H. Papadimitriou},
title = {Towards Human Computable Passwords},
booktitle = {8th Innovations in Theoretical Computer Science Conference, {ITCS}
2017, January 9-11, 2017, Berkeley, CA, {USA}},
series = {LIPIcs},
volume = {67},
pages = {10:1--10:47},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2017.10},
doi = {10.4230/LIPICS.ITCS.2017.10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/innovations/Blocki0DV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001V17,
author = {Manuel Blum and
Santosh S. Vempala},
title = {The Complexity of Human Computation: {A} Concrete Model with an Application
to Passwords},
journal = {CoRR},
volume = {abs/1707.01204},
year = {2017},
url = {http://arxiv.org/abs/1707.01204},
eprinttype = {arXiv},
eprint = {1707.01204},
timestamp = {Thu, 24 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001V17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/000116,
author = {Manuel Blum},
title = {Cybernetics: {A} mathematician of mind},
journal = {Nat.},
volume = {538},
number = {7623},
pages = {39--40},
year = {2016},
url = {https://doi.org/10.1038/538039a},
doi = {10.1038/538039A},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nature/000116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcomp/BlumV15,
author = {Manuel Blum and
Santosh Srinivas Vempala},
editor = {Elizabeth Gerber and
Panos Ipeirotis},
title = {Publishable Humanly Usable Secure Password Creation Schemas},
booktitle = {Proceedings of the Third {AAAI} Conference on Human Computation and
Crowdsourcing, {HCOMP} 2015, November 8-11, 2015, San Diego, California,
{USA}},
pages = {32--41},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/hcomp.v3i1.13233},
doi = {10.1609/HCOMP.V3I1.13233},
timestamp = {Tue, 05 Sep 2023 11:10:11 +0200},
biburl = {https://dblp.org/rec/conf/hcomp/BlumV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BlockiBD15,
author = {Jeremiah Blocki and
Manuel Blum and
Anupam Datta},
title = {Naturally Rehearsing Passwords},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {166},
year = {2015},
url = {http://eprint.iacr.org/2015/166},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BlockiBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlockiBD14,
author = {Jeremiah Blocki and
Manuel Blum and
Anupam Datta},
title = {Human Computable Passwords},
journal = {CoRR},
volume = {abs/1404.0024},
year = {2014},
url = {http://arxiv.org/abs/1404.0024},
eprinttype = {arXiv},
eprint = {1404.0024},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlockiBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiacrypt/BlockiBD13,
author = {Jeremiah Blocki and
Manuel Blum and
Anupam Datta},
editor = {Kazue Sako and
Palash Sarkar},
title = {Naturally Rehearsing Passwords},
booktitle = {Advances in Cryptology - {ASIACRYPT} 2013 - 19th International Conference
on the Theory and Application of Cryptology and Information Security,
Bengaluru, India, December 1-5, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8270},
pages = {361--380},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-42045-0\_19},
doi = {10.1007/978-3-642-42045-0\_19},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/asiacrypt/BlockiBD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BlockiBD13,
author = {Jeremiah Blocki and
Manuel Blum and
Anupam Datta},
editor = {Ahmad{-}Reza Sadeghi and
Blaine Nelson and
Christos Dimitrakakis and
Elaine Shi},
title = {{GOTCHA} password hackers!},
booktitle = {AISec'13, Proceedings of the 2013 {ACM} Workshop on Artificial Intelligence
and Security, Co-located with {CCS} 2013, Berlin, Germany, November
4, 2013},
pages = {25--34},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517312.2517319},
doi = {10.1145/2517312.2517319},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BlockiBD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-5122,
author = {Jeremiah Blocki and
Manuel Blum and
Anupam Datta},
title = {Naturally Rehearsing Passwords},
journal = {CoRR},
volume = {abs/1302.5122},
year = {2013},
url = {http://arxiv.org/abs/1302.5122},
eprinttype = {arXiv},
eprint = {1302.5122},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-5122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlockiBD13,
author = {Jeremiah Blocki and
Manuel Blum and
Anupam Datta},
title = {{GOTCHA} Password Hackers!},
journal = {CoRR},
volume = {abs/1310.1137},
year = {2013},
url = {http://arxiv.org/abs/1310.1137},
eprinttype = {arXiv},
eprint = {1310.1137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlockiBD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/Blum10,
author = {Manuel Blum},
editor = {My T. Thai and
Sartaj Sahni},
title = {Understanding and Inductive Inference},
booktitle = {Computing and Combinatorics, 16th Annual International Conference,
{COCOON} 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6196},
pages = {1},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14031-0\_1},
doi = {10.1007/978-3-642-14031-0\_1},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/Blum10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/AhnGKB07,
author = {Luis von Ahn and
Shiry Ginosar and
Mihir Kedia and
Manuel Blum},
title = {Improving Image Search with {PHETCH}},
booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech,
and Signal Processing, {ICASSP} 2007, Honolulu, Hawaii, USA, April
15-20, 2007},
pages = {1209--1212},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICASSP.2007.367293},
doi = {10.1109/ICASSP.2007.367293},
timestamp = {Mon, 22 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/AhnGKB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/AhnLB06,
author = {Luis von Ahn and
Ruoran Liu and
Manuel Blum},
editor = {Rebecca E. Grinter and
Tom Rodden and
Paul M. Aoki and
Edward Cutrell and
Robin Jeffries and
Gary M. Olson},
title = {Peekaboom: a game for locating objects in images},
booktitle = {Proceedings of the 2006 Conference on Human Factors in Computing Systems,
{CHI} 2006, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, April
22-27, 2006},
pages = {55--64},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1124772.1124782},
doi = {10.1145/1124772.1124782},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/AhnLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/AhnKB06,
author = {Luis von Ahn and
Mihir Kedia and
Manuel Blum},
editor = {Rebecca E. Grinter and
Tom Rodden and
Paul M. Aoki and
Edward Cutrell and
Robin Jeffries and
Gary M. Olson},
title = {Verbosity: a game for collecting common-sense facts},
booktitle = {Proceedings of the 2006 Conference on Human Factors in Computing Systems,
{CHI} 2006, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, April
22-27, 2006},
pages = {75--78},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1124772.1124784},
doi = {10.1145/1124772.1124784},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/AhnKB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/AhnGKLB06,
author = {Luis von Ahn and
Shiry Ginosar and
Mihir Kedia and
Ruoran Liu and
Manuel Blum},
editor = {Rebecca E. Grinter and
Tom Rodden and
Paul M. Aoki and
Edward Cutrell and
Robin Jeffries and
Gary M. Olson},
title = {Improving accessibility of the web with a computer game},
booktitle = {Proceedings of the 2006 Conference on Human Factors in Computing Systems,
{CHI} 2006, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, April
22-27, 2006},
pages = {79--82},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1124772.1124785},
doi = {10.1145/1124772.1124785},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/AhnGKLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AhnBL04,
author = {Luis von Ahn and
Manuel Blum and
John Langford},
title = {Telling humans and computers apart automatically},
journal = {Commun. {ACM}},
volume = {47},
number = {2},
pages = {56--60},
year = {2004},
url = {https://doi.org/10.1145/966389.966390},
doi = {10.1145/966389.966390},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/AhnBL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/AhnBHL03,
author = {Luis von Ahn and
Manuel Blum and
Nicholas J. Hopper and
John Langford},
editor = {Eli Biham},
title = {{CAPTCHA:} Using Hard {AI} Problems for Security},
booktitle = {Advances in Cryptology - {EUROCRYPT} 2003, International Conference
on the Theory and Applications of Cryptographic Techniques, Warsaw,
Poland, May 4-8, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2656},
pages = {294--311},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-39200-9\_18},
doi = {10.1007/3-540-39200-9\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/AhnBHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiacrypt/HopperB01,
author = {Nicholas J. Hopper and
Manuel Blum},
editor = {Colin Boyd},
title = {Secure Human Identification Protocols},
booktitle = {Advances in Cryptology - {ASIACRYPT} 2001, 7th International Conference
on the Theory and Application of Cryptology and Information Security,
Gold Coast, Australia, December 9-13, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2248},
pages = {52--66},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45682-1\_4},
doi = {10.1007/3-540-45682-1\_4},
timestamp = {Tue, 01 Jun 2021 15:22:33 +0200},
biburl = {https://dblp.org/rec/conf/asiacrypt/HopperB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/WassermanB97,
author = {Hal Wasserman and
Manuel Blum},
title = {Software reliability via run-time result-checking},
journal = {J. {ACM}},
volume = {44},
number = {6},
pages = {826--849},
year = {1997},
url = {https://doi.org/10.1145/268999.269003},
doi = {10.1145/268999.269003},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/WassermanB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/Blum97,
author = {Manuel Blum},
editor = {Ming Li and
Akira Maruoka},
title = {Program Error Detection/Correction: Turning {PAC} Learning into {PERFECT}
Learning (Abstract)},
booktitle = {Algorithmic Learning Theory, 8th International Conference, {ALT} '97,
Sendai, Japan, October 6-8, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1316},
pages = {1},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63577-7\_31},
doi = {10.1007/3-540-63577-7\_31},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/Blum97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BlumW96,
author = {Manuel Blum and
Hal Wasserman},
title = {Reflections on the Pentium Bug},
journal = {{IEEE} Trans. Computers},
volume = {45},
number = {4},
pages = {385--393},
year = {1996},
url = {https://doi.org/10.1109/12.494097},
doi = {10.1109/12.494097},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BlumW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/CohenB95,
author = {David S. Cohen and
Manuel Blum},
title = {on the Problem of Sorting Burnt Pancakes},
journal = {Discret. Appl. Math.},
volume = {61},
number = {2},
pages = {105--120},
year = {1995},
url = {https://doi.org/10.1016/0166-218X(94)00009-3},
doi = {10.1016/0166-218X(94)00009-3},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/CohenB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BlumK95,
author = {Manuel Blum and
Sampath Kannan},
title = {Designing Programs that Check Their Work},
journal = {J. {ACM}},
volume = {42},
number = {1},
pages = {269--291},
year = {1995},
url = {https://doi.org/10.1145/200836.200880},
doi = {10.1145/200836.200880},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BlumK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/AmirBLSS95,
author = {Amihood Amir and
Manuel Blum and
Michael C. Loui and
John E. Savage and
Carl Smith},
title = {Contributions of theoretical computer science},
journal = {{SIGACT} News},
volume = {26},
number = {4},
pages = {2--4},
year = {1995},
url = {https://doi.org/10.1145/219817.219820},
doi = {10.1145/219817.219820},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/AmirBLSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BlumCGS95,
author = {Manuel Blum and
Bruno Codenotti and
Peter Gemmell and
Troy Shahoumian},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Self-Correcting for Function Fields Transcendental Degree},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {944},
pages = {547--557},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_104},
doi = {10.1007/3-540-60084-1\_104},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BlumCGS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/BlumEGKN94,
author = {Manuel Blum and
William S. Evans and
Peter Gemmell and
Sampath Kannan and
Moni Naor},
title = {Checking the Correctness of Memories},
journal = {Algorithmica},
volume = {12},
number = {2/3},
pages = {225--244},
year = {1994},
url = {https://doi.org/10.1007/BF01185212},
doi = {10.1007/BF01185212},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/BlumEGKN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumW94,
author = {Manuel Blum and
Hal Wasserman},
title = {Program Result-Checking: {A} Theory of Testing Meets a Test of Theory},
booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
New Mexico, USA, 20-22 November 1994},
pages = {382--392},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SFCS.1994.365678},
doi = {10.1109/SFCS.1994.365678},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BlumW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/AlonBFKNO94,
author = {Noga Alon and
Manuel Blum and
Amos Fiat and
Sampath Kannan and
Moni Naor and
Rafail Ostrovsky},
editor = {Daniel Dominic Sleator},
title = {Matching Nuts and Bolts},
booktitle = {Proceedings of the Fifth Annual {ACM-SIAM} Symposium on Discrete Algorithms.
23-25 January 1994, Arlington, Virginia, {USA}},
pages = {690--696},
publisher = {{ACM/SIAM}},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=314464.314673},
timestamp = {Thu, 05 Jul 2018 07:29:19 +0200},
biburl = {https://dblp.org/rec/conf/soda/AlonBFKNO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BlumLR93,
author = {Manuel Blum and
Michael Luby and
Ronitt Rubinfeld},
title = {Self-Testing/Correcting with Applications to Numerical Problems},
journal = {J. Comput. Syst. Sci.},
volume = {47},
number = {3},
pages = {549--595},
year = {1993},
url = {https://doi.org/10.1016/0022-0000(93)90044-W},
doi = {10.1016/0022-0000(93)90044-W},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BlumLR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Blum93,
author = {Manuel Blum},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {Program Result Checking: {A} New Approach to Making Programs More
Reliable},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {1--14},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_57},
doi = {10.1007/3-540-56939-1\_57},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Blum93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Blum93,
author = {Manuel Blum},
editor = {Thomas J. Ostrand and
Elaine J. Weyuker},
title = {Designing Programs to Check Their Work (Abstract)},
booktitle = {Proceedings of the 1993 International Symposium on Software Testing
and Analysis, {ISSTA} 1993, Cambridge, MA, USA, June 28-30, 1993},
pages = {1},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/154183.154185},
doi = {10.1145/154183.154185},
timestamp = {Mon, 14 Feb 2022 11:59:49 +0100},
biburl = {https://dblp.org/rec/conf/issta/Blum93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ArBCG93,
author = {Sigal Ar and
Manuel Blum and
Bruno Codenotti and
Peter Gemmell},
editor = {S. Rao Kosaraju and
David S. Johnson and
Alok Aggarwal},
title = {Checking approximate computations over the reals},
booktitle = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Theory of
Computing, May 16-18, 1993, San Diego, CA, {USA}},
pages = {786--795},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/167088.167288},
doi = {10.1145/167088.167288},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ArBCG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumG92,
author = {Manuel Blum and
Oded Goldreich},
title = {Towards a Computational Theory of Statistical Tests (Extended Abstract)},
booktitle = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
Pennsylvania, USA, 24-27 October 1992},
pages = {406--416},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SFCS.1992.267749},
doi = {10.1109/SFCS.1992.267749},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BlumG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/Blum92,
author = {Manuel Blum},
editor = {Imre Simon},
title = {Universal Statistical Tests},
booktitle = {{LATIN} '92, 1st Latin American Symposium on Theoretical Informatics,
S{\~{a}}o Paulo, Brazil, April 6-10, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {583},
pages = {71--75},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023818},
doi = {10.1007/BFB0023818},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/Blum92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AdlemanB91,
author = {Leonard M. Adleman and
Manuel Blum},
title = {Inductive Inference and Unsolvability},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {891--900},
year = {1991},
url = {https://doi.org/10.2307/2275058},
doi = {10.2307/2275058},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AdlemanB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BlumSMP91,
author = {Manuel Blum and
Alfredo De Santis and
Silvio Micali and
Giuseppe Persiano},
title = {Noninteractive Zero-Knowledge},
journal = {{SIAM} J. Comput.},
volume = {20},
number = {6},
pages = {1084--1118},
year = {1991},
url = {https://doi.org/10.1137/0220068},
doi = {10.1137/0220068},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BlumSMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumEGKN91,
author = {Manuel Blum and
William S. Evans and
Peter Gemmell and
Sampath Kannan and
Moni Naor},
title = {Checking the Correctness of Memories},
booktitle = {32nd Annual Symposium on Foundations of Computer Science, San Juan,
Puerto Rico, 1-4 October 1991},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/SFCS.1991.185352},
doi = {10.1109/SFCS.1991.185352},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BlumEGKN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Blum91,
author = {Manuel Blum},
editor = {Somenath Biswas and
Kesav V. Nori},
title = {Program Checking},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
11th Conference, New Delhi, India, December 17-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {560},
pages = {1--9},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54967-6\_57},
doi = {10.1007/3-540-54967-6\_57},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Blum91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BlumLR90,
author = {Manuel Blum and
Michael Luby and
Ronitt Rubinfeld},
editor = {Harriet Ortiz},
title = {Self-Testing/Correcting with Applications to Numerical Problems},
booktitle = {Proceedings of the 22nd Annual {ACM} Symposium on Theory of Computing,
May 13-17, 1990, Baltimore, Maryland, {USA}},
pages = {73--83},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/100216.100225},
doi = {10.1145/100216.100225},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BlumLR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/AmatoBIR89,
author = {Nancy M. Amato and
Manuel Blum and
Sandy Irani and
Ronitt Rubinfeld},
title = {Reversing Trains: {A} Turn of the Century Sorting Problem},
journal = {J. Algorithms},
volume = {10},
number = {3},
pages = {413--428},
year = {1989},
url = {https://doi.org/10.1016/0196-6774(89)90037-0},
doi = {10.1016/0196-6774(89)90037-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/AmatoBIR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BlumLR89,
author = {Manuel Blum and
Michael Luby and
Ronitt Rubinfeld},
editor = {Joan Feigenbaum and
Michael Merritt},
title = {Program Result Checking against Adaptive Programs and in Cryptographic
Settings},
booktitle = {Distributed Computing And Cryptography, Proceedings of a {DIMACS}
Workshop, Princeton, New Jersey, USA, October 4-6, 1989},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {2},
pages = {107--118},
publisher = {{DIMACS/AMS}},
year = {1989},
url = {https://doi.org/10.1090/dimacs/002/06},
doi = {10.1090/DIMACS/002/06},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/BlumLR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BlumR89,
author = {Manuel Blum and
Prabhakar Raghavan},
editor = {Gerhard X. Ritter},
title = {Program Correctness: Can One Test For It?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {127--134},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BlumR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BlumK89,
author = {Manuel Blum and
Sampath Kannan},
editor = {David S. Johnson},
title = {Designing Programs That Check Their Work},
booktitle = {Proceedings of the 21st Annual {ACM} Symposium on Theory of Computing,
May 14-17, 1989, Seattle, Washington, {USA}},
pages = {86--97},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/73007.73015},
doi = {10.1145/73007.73015},
timestamp = {Wed, 24 Nov 2021 12:15:31 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BlumK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BlumFM88,
author = {Manuel Blum and
Paul Feldman and
Silvio Micali},
editor = {Shafi Goldwasser},
title = {Proving Security Against Chosen Cyphertext Attacks},
booktitle = {Advances in Cryptology - {CRYPTO} '88, 8th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 21-25, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {403},
pages = {256--268},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/0-387-34799-2\_20},
doi = {10.1007/0-387-34799-2\_20},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/crypto/BlumFM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BlumFM88,
author = {Manuel Blum and
Paul Feldman and
Silvio Micali},
editor = {Janos Simon},
title = {Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract)},
booktitle = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
May 2-4, 1988, Chicago, Illinois, {USA}},
pages = {103--112},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62212.62222},
doi = {10.1145/62212.62222},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BlumFM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumI87,
author = {Manuel Blum and
Russell Impagliazzo},
title = {Generic Oracles and Oracle Classes (Extended Abstract)},
booktitle = {28th Annual Symposium on Foundations of Computer Science, Los Angeles,
California, USA, 27-29 October 1987},
pages = {118--126},
publisher = {{IEEE} Computer Society},
year = {1987},
url = {https://doi.org/10.1109/SFCS.1987.30},
doi = {10.1109/SFCS.1987.30},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/focs/BlumI87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/Blum86,
author = {Manuel Blum},
title = {Independent unbiased coin flips from a correlated biased source-a
finite stae Markov chain},
journal = {Comb.},
volume = {6},
number = {2},
pages = {97--108},
year = {1986},
url = {https://doi.org/10.1007/BF02579167},
doi = {10.1007/BF02579167},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorica/Blum86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BlumBS86,
author = {Lenore Blum and
Manuel Blum and
Mike Shub},
title = {A Simple Unpredictable Pseudo-Random Number Generator},
journal = {{SIAM} J. Comput.},
volume = {15},
number = {2},
pages = {364--383},
year = {1986},
url = {https://doi.org/10.1137/0215025},
doi = {10.1137/0215025},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/BlumBS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BlumM84,
author = {Manuel Blum and
Silvio Micali},
title = {How to Generate Cryptographically Strong Sequences of Pseudo-Random
Bits},
journal = {{SIAM} J. Comput.},
volume = {13},
number = {4},
pages = {850--864},
year = {1984},
url = {https://doi.org/10.1137/0213053},
doi = {10.1137/0213053},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/BlumM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BlumG84,
author = {Manuel Blum and
Shafi Goldwasser},
editor = {G. R. Blakley and
David Chaum},
title = {An Efficient Probabilistic Public-Key Encryption Scheme Which Hides
All Partial Information},
booktitle = {Advances in Cryptology, Proceedings of {CRYPTO} '84, Santa Barbara,
California, USA, August 19-22, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {196},
pages = {289--302},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-39568-7\_23},
doi = {10.1007/3-540-39568-7\_23},
timestamp = {Tue, 01 Jun 2021 15:21:29 +0200},
biburl = {https://dblp.org/rec/conf/crypto/BlumG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Blum84,
author = {Manuel Blum},
title = {Independent Unbiased Coin Flips From a Correlated Biased Source: a
Finite State Markov Chain},
booktitle = {25th Annual Symposium on Foundations of Computer Science, West Palm
Beach, Florida, USA, 24-26 October 1984},
pages = {425--433},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {https://doi.org/10.1109/SFCS.1984.715944},
doi = {10.1109/SFCS.1984.715944},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Blum84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/000183,
author = {Manuel Blum},
title = {Coin flipping by telephone a protocol for solving impossible problems},
journal = {{SIGACT} News},
volume = {15},
number = {1},
pages = {23--27},
year = {1983},
url = {https://doi.org/10.1145/1008908.1008911},
doi = {10.1145/1008908.1008911},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/000183.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/Blum83,
author = {Manuel Blum},
title = {How to Exchange (Secret) Keys},
journal = {{ACM} Trans. Comput. Syst.},
volume = {1},
number = {2},
pages = {175--193},
year = {1983},
url = {https://doi.org/10.1145/357360.357368},
doi = {10.1145/357360.357368},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/Blum83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/VaziraniVB83,
author = {Manuel Blum and
Umesh V. Vazirani and
Vijay V. Vazirani},
editor = {David Chaum},
title = {Reducibility Among Protocols},
booktitle = {Advances in Cryptology, Proceedings of {CRYPTO} '83, Santa Barbara,
California, USA, August 21-24, 1983},
pages = {137--146},
publisher = {Plenum Press, New York},
year = {1983},
timestamp = {Wed, 26 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/VaziraniVB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Blum83,
author = {Manuel Blum},
editor = {David S. Johnson and
Ronald Fagin and
Michael L. Fredman and
David Harel and
Richard M. Karp and
Nancy A. Lynch and
Christos H. Papadimitriou and
Ronald L. Rivest and
Walter L. Ruzzo and
Joel I. Seiferas},
title = {How to Exchange (Secret) Keys (Extended Abstract)},
booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
25-27 April, 1983, Boston, Massachusetts, {USA}},
pages = {440--447},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800061.808775},
doi = {10.1145/800061.808775},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Blum83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/Blum82,
author = {Manuel Blum},
title = {Coin Flipping by Telephone - {A} Protocol for Solving Impossible Problems},
booktitle = {COMPCON'82, Digest of Papers, Twenty-Fourth {IEEE} Computer Society
International Conference, San Francisco, California, USA, February
22-25, 1982},
pages = {133--137},
publisher = {{IEEE} Computer Society},
year = {1982},
timestamp = {Wed, 26 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compcon/Blum82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/ShubBB82,
author = {Lenore Blum and
Manuel Blum and
Mike Shub},
editor = {David Chaum and
Ronald L. Rivest and
Alan T. Sherman},
title = {Comparison of Two Pseudo-Random Number Generators},
booktitle = {Advances in Cryptology: Proceedings of {CRYPTO} '82, Santa Barbara,
California, USA, August 23-25, 1982},
pages = {61--78},
publisher = {Plenum Press, New York},
year = {1982},
url = {https://doi.org/10.1007/978-1-4757-0602-4\_6},
doi = {10.1007/978-1-4757-0602-4\_6},
timestamp = {Thu, 25 Jul 2019 12:26:02 +0200},
biburl = {https://dblp.org/rec/conf/crypto/ShubBB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumM82,
author = {Manuel Blum and
Silvio Micali},
title = {How to Generate Cryptographically Strong Sequences of Pseudo Random
Bits},
booktitle = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
Illinois, USA, 3-5 November 1982},
pages = {112--117},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {https://doi.org/10.1109/SFCS.1982.72},
doi = {10.1109/SFCS.1982.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BlumM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BlumKVPY81,
author = {Manuel Blum and
Richard M. Karp and
Oliver Vornberger and
Christos H. Papadimitriou and
Mihalis Yannakakis},
title = {The Complexity of Testing Whether a Graph is a Superconcentrator},
journal = {Inf. Process. Lett.},
volume = {13},
number = {4/5},
pages = {164--167},
year = {1981},
url = {https://doi.org/10.1016/0020-0190(81)90050-8},
doi = {10.1016/0020-0190(81)90050-8},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BlumKVPY81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/Blum81,
author = {Manuel Blum},
editor = {Allen Gersho},
title = {Coin Flipping by Telephone},
booktitle = {Advances in Cryptology: {A} Report on {CRYPTO} 81, {CRYPTO} 81, {IEEE}
Workshop on Communications Security, Santa Barbara, California, USA,
August 24-26, 1981},
pages = {11--15},
publisher = {U. C. Santa Barbara, Dept. of Elec. and Computer Eng., {ECE} Report
No 82-04},
year = {1981},
timestamp = {Wed, 26 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/Blum81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BlumCW80,
author = {Manuel Blum and
Ashok K. Chandra and
Mark N. Wegman},
title = {Equivalence of Free Boolean Graphs can be Decided Probabilistically
in Polynomial Time},
journal = {Inf. Process. Lett.},
volume = {10},
number = {2},
pages = {80--82},
year = {1980},
url = {https://doi.org/10.1016/S0020-0190(80)90078-2},
doi = {10.1016/S0020-0190(80)90078-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BlumCW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumK78,
author = {Manuel Blum and
Dexter Kozen},
title = {On the Power of the Compass (or, Why Mazes Are Easier to Search than
Graphs)},
booktitle = {19th Annual Symposium on Foundations of Computer Science, Ann Arbor,
Michigan, USA, 16-18 October 1978},
pages = {132--142},
publisher = {{IEEE} Computer Society},
year = {1978},
url = {https://doi.org/10.1109/SFCS.1978.30},
doi = {10.1109/SFCS.1978.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BlumK78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumS77,
author = {Manuel Blum and
William J. Sakoda},
title = {On the Capability of Finite Automata in 2 and 3 Dimensional Space},
booktitle = {18th Annual Symposium on Foundations of Computer Science, Providence,
Rhode Island, USA, 31 October - 1 November 1977},
pages = {147--161},
publisher = {{IEEE} Computer Society},
year = {1977},
url = {https://doi.org/10.1109/SFCS.1977.20},
doi = {10.1109/SFCS.1977.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BlumS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BlumB75,
author = {Lenore Blum and
Manuel Blum},
title = {Toward a Mathematical Theory of Inductive Inference},
journal = {Inf. Control.},
volume = {28},
number = {2},
pages = {125--155},
year = {1975},
url = {https://doi.org/10.1016/S0019-9958(75)90261-2},
doi = {10.1016/S0019-9958(75)90261-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BlumB75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GillB74,
author = {John Gill and
Manuel Blum},
title = {On Almost Everywhere Complex Recursive Functions},
journal = {J. {ACM}},
volume = {21},
number = {3},
pages = {425--435},
year = {1974},
url = {https://doi.org/10.1145/321832.321840},
doi = {10.1145/321832.321840},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GillB74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BlumFPRT73,
author = {Manuel Blum and
Robert W. Floyd and
Vaughan R. Pratt and
Ronald L. Rivest and
Robert Endre Tarjan},
title = {Time Bounds for Selection},
journal = {J. Comput. Syst. Sci.},
volume = {7},
number = {4},
pages = {448--461},
year = {1973},
url = {https://doi.org/10.1016/S0022-0000(73)80033-9},
doi = {10.1016/S0022-0000(73)80033-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BlumFPRT73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BlumM73,
author = {Manuel Blum and
Ivan Marques},
title = {On Complexity Properties of Recursively Enumerable Sets},
journal = {J. Symb. Log.},
volume = {38},
number = {4},
pages = {579--593},
year = {1973},
url = {https://doi.org/10.2307/2271984},
doi = {10.2307/2271984},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BlumM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumB73,
author = {Lenore Blum and
Manuel Blum},
title = {Inductive Inference: {A} Recursion Theoretic Approach},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {200--208},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.12},
doi = {10.1109/SWAT.1973.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BlumB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BlumFPRT72,
author = {Manuel Blum and
Robert W. Floyd and
Vaughan R. Pratt and
Ronald L. Rivest and
Robert Endre Tarjan},
editor = {Patrick C. Fischer and
H. Paul Zeiger and
Jeffrey D. Ullman and
Arnold L. Rosenberg},
title = {Linear Time Bounds for Median Computations},
booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1972, Denver, Colorado, {USA}},
pages = {119--124},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800152.804904},
doi = {10.1145/800152.804904},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BlumFPRT72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Blum71,
author = {Manuel Blum},
title = {On Effective Procedures for Speeding Up Algorithms},
journal = {J. {ACM}},
volume = {18},
number = {2},
pages = {290--305},
year = {1971},
url = {https://doi.org/10.1145/321637.321648},
doi = {10.1145/321637.321648},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Blum71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Blum69,
author = {Manuel Blum},
editor = {Patrick C. Fischer and
Seymour Ginsburg and
Michael A. Harrison},
title = {On Effective Procedures for Speeding Up Algorithms},
booktitle = {Proceedings of the 1st Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1969, Marina del Rey, CA, {USA}},
pages = {43--53},
publisher = {{ACM}},
year = {1969},
url = {https://doi.org/10.1145/800169.805420},
doi = {10.1145/800169.805420},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Blum69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FischerHB68,
author = {Patrick C. Fischer and
Juris Hartmanis and
Manuel Blum},
title = {Tape Reversal Complexity Hierarchies},
booktitle = {9th Annual Symposium on Switching and Automata Theory, Schenectady,
New York, USA, October 15-18, 1968},
pages = {373--382},
publisher = {{IEEE} Computer Society},
year = {1968},
url = {https://doi.org/10.1109/SWAT.1968.33},
doi = {10.1109/SWAT.1968.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FischerHB68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Blum67,
author = {Manuel Blum},
title = {On the Size of Machines},
journal = {Inf. Control.},
volume = {11},
number = {3},
pages = {257--265},
year = {1967},
url = {https://doi.org/10.1016/S0019-9958(67)90546-3},
doi = {10.1016/S0019-9958(67)90546-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Blum67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Blum67,
author = {Manuel Blum},
title = {A Machine-Independent Theory of the Complexity of Recursive Functions},
journal = {J. {ACM}},
volume = {14},
number = {2},
pages = {322--336},
year = {1967},
url = {https://doi.org/10.1145/321386.321395},
doi = {10.1145/321386.321395},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Blum67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumH67,
author = {Manuel Blum and
Carl Hewitt},
title = {Automata on a 2-Dimensional Tape},
booktitle = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
USA, October 18-20, 1967},
pages = {155--160},
publisher = {{IEEE} Computer Society},
year = {1967},
url = {https://doi.org/10.1109/FOCS.1967.6},
doi = {10.1109/FOCS.1967.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BlumH67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-11 22:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
