default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Silvio Micali
@inproceedings{DBLP:conf/sp/MicaliRVWZ21,
author = {Silvio Micali and
Leonid Reyzin and
Georgios Vlachos and
Riad S. Wahby and
Nickolai Zeldovich},
title = {Compact Certificates of Collective Knowledge},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {626--641},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00096},
doi = {10.1109/SP40001.2021.00096},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/MicaliRVWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MicaliRVWZ20,
author = {Silvio Micali and
Leonid Reyzin and
Georgios Vlachos and
Riad S. Wahby and
Nickolai Zeldovich},
title = {Compact Certificates of Collective Knowledge},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1568},
year = {2020},
url = {https://eprint.iacr.org/2020/1568},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/MicaliRVWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenM19,
author = {Jing Chen and
Silvio Micali},
title = {Algorand: {A} secure and efficient distributed ledger},
journal = {Theor. Comput. Sci.},
volume = {777},
pages = {155--183},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.02.001},
doi = {10.1016/J.TCS.2019.02.001},
timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChenM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/GoldwasserM19,
author = {Shafi Goldwasser and
Silvio Micali},
editor = {Oded Goldreich},
title = {Probabilistic encryption {\&} how to play mental poker keeping
secret all partial information},
booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi
Goldwasser and Silvio Micali},
pages = {173--201},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335741.3335749},
doi = {10.1145/3335741.3335749},
timestamp = {Tue, 05 Nov 2019 15:40:16 +0100},
biburl = {https://dblp.org/rec/books/acm/19/GoldwasserM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/GoldwasserMR19,
author = {Shafi Goldwasser and
Silvio Micali and
Charles Rackoff},
editor = {Oded Goldreich},
title = {The knowledge complexity of interactive proof-systems},
booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi
Goldwasser and Silvio Micali},
pages = {203--225},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335741.3335750},
doi = {10.1145/3335741.3335750},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/acm/19/GoldwasserMR19.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/acm/19/0001M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/0001GM19,
author = {Oded Goldreich and
Shafi Goldwasser and
Silvio Micali},
editor = {Oded Goldreich},
title = {How to construct random functions},
booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi
Goldwasser and Silvio Micali},
pages = {241--264},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335741.3335752},
doi = {10.1145/3335741.3335752},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/acm/19/0001GM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/GoldwasserMR19a,
author = {Shafi Goldwasser and
Silvio Micali and
Ronald L. Rivest},
editor = {Oded Goldreich},
title = {A "paradoxical" solution to the signature problem},
booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi
Goldwasser and Silvio Micali},
pages = {265--284},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335741.3335753},
doi = {10.1145/3335741.3335753},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/acm/19/GoldwasserMR19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/0001MW19,
author = {Oded Goldreich and
Silvio Micali and
Avi Wigderson},
editor = {Oded Goldreich},
title = {Proofs that yield nothing but their validity and a methodology of
cryptographic protocol design},
booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi
Goldwasser and Silvio Micali},
pages = {285--306},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335741.3335754},
doi = {10.1145/3335741.3335754},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/acm/19/0001MW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/0001MW19a,
author = {Oded Goldreich and
Silvio Micali and
Avi Wigderson},
editor = {Oded Goldreich},
title = {How to play any mental game, or a completeness theorem for protocols
with honest majority},
booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi
Goldwasser and Silvio Micali},
pages = {307--328},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335741.3335755},
doi = {10.1145/3335741.3335755},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/acm/19/0001MW19a.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/iacr/ChenGMV18,
author = {Jing Chen and
Sergey Gorbunov and
Silvio Micali and
Georgios Vlachos},
title = {{ALGORAND} {AGREEMENT:} Super Fast and Partition Resilient Byzantine
Agreement},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {377},
year = {2018},
url = {https://eprint.iacr.org/2018/377},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ChenGMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/geb/DeckelbaumM17,
author = {Alan Deckelbaum and
Silvio Micali},
title = {Collusion, efficiency, and dominant strategies},
journal = {Games Econ. Behav.},
volume = {103},
pages = {83--93},
year = {2017},
url = {https://doi.org/10.1016/j.geb.2016.03.008},
doi = {10.1016/J.GEB.2016.03.008},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/geb/DeckelbaumM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/Micali17,
author = {Silvio Micali},
editor = {Christos H. Papadimitriou},
title = {Very Simple and Efficient Byzantine Agreement},
booktitle = {8th Innovations in Theoretical Computer Science Conference, {ITCS}
2017, January 9-11, 2017, Berkeley, CA, {USA}},
series = {LIPIcs},
volume = {67},
pages = {6:1--6:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2017.6},
doi = {10.4230/LIPICS.ITCS.2017.6},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/innovations/Micali17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/GiladHMVZ17,
author = {Yossi Gilad and
Rotem Hemo and
Silvio Micali and
Georgios Vlachos and
Nickolai Zeldovich},
title = {Algorand: Scaling Byzantine Agreements for Cryptocurrencies},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {51--68},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132757},
doi = {10.1145/3132747.3132757},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/GiladHMVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GiladHMVZ17,
author = {Yossi Gilad and
Rotem Hemo and
Silvio Micali and
Georgios Vlachos and
Nickolai Zeldovich},
title = {Algorand: Scaling Byzantine Agreements for Cryptocurrencies},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {454},
year = {2017},
url = {http://eprint.iacr.org/2017/454},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GiladHMVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/MicaliZ16,
author = {Silvio Micali and
Zeyuan Allen Zhu},
title = {Reconstructing Markov processes from independent and anonymous experiments},
journal = {Discret. Appl. Math.},
volume = {200},
pages = {108--122},
year = {2016},
url = {https://doi.org/10.1016/j.dam.2015.06.035},
doi = {10.1016/J.DAM.2015.06.035},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/MicaliZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/games/ChenM16,
author = {Jing Chen and
Silvio Micali},
title = {Leveraging Possibilistic Beliefs in Unrestricted Combinatorial Auctions},
journal = {Games},
volume = {7},
number = {4},
pages = {32},
year = {2016},
url = {https://doi.org/10.3390/g7040032},
doi = {10.3390/G7040032},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/games/ChenM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/IleriM16,
author = {Atalay Mert Ileri and
Silvio Micali},
editor = {Madhu Sudan},
title = {Mechanisms With Costly Knowledge},
booktitle = {Proceedings of the 2016 {ACM} Conference on Innovations in Theoretical
Computer Science, Cambridge, MA, USA, January 14-16, 2016},
pages = {11--19},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2840728.2840742},
doi = {10.1145/2840728.2840742},
timestamp = {Tue, 14 Jun 2022 13:12:41 +0200},
biburl = {https://dblp.org/rec/conf/innovations/IleriM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ChenM16,
author = {Jing Chen and
Silvio Micali},
editor = {Madhu Sudan},
title = {Auction Revenue in the General Spiteful-Utility Model},
booktitle = {Proceedings of the 2016 {ACM} Conference on Innovations in Theoretical
Computer Science, Cambridge, MA, USA, January 14-16, 2016},
pages = {201--211},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2840728.2840741},
doi = {10.1145/2840728.2840741},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/innovations/ChenM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Micali16,
author = {Silvio Micali},
title = {{ALGORAND:} The Efficient and Democratic Ledger},
journal = {CoRR},
volume = {abs/1607.01341},
year = {2016},
url = {http://arxiv.org/abs/1607.01341},
eprinttype = {arXiv},
eprint = {1607.01341},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Micali16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Micali15,
author = {Silvio Micali},
title = {What it means to receive the Turing award},
journal = {Commun. {ACM}},
volume = {58},
number = {1},
pages = {52--53},
year = {2015},
url = {https://doi.org/10.1145/2692280},
doi = {10.1145/2692280},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Micali15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jet/ChenM15,
author = {Jing Chen and
Silvio Micali},
title = {Mechanism design with possibilistic beliefs},
journal = {J. Econ. Theory},
volume = {156},
pages = {77--102},
year = {2015},
url = {https://doi.org/10.1016/j.jet.2013.07.021},
doi = {10.1016/J.JET.2013.07.021},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jet/ChenM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ChenMP15,
author = {Jing Chen and
Silvio Micali and
Rafael Pass},
editor = {Tim Roughgarden},
title = {Better Outcomes from More Rationality},
booktitle = {Proceedings of the 2015 Conference on Innovations in Theoretical Computer
Science, {ITCS} 2015, Rehovot, Israel, January 11-13, 2015},
pages = {325},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2688073.2688083},
doi = {10.1145/2688073.2688083},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/innovations/ChenMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GorbunovM15,
author = {Sergey Gorbunov and
Silvio Micali},
title = {Democoin: {A} Publicly Verifiable and Jointly Serviced Cryptocurrency},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {521},
year = {2015},
url = {http://eprint.iacr.org/2015/521},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GorbunovM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MicaliR14,
author = {Silvio Micali and
Michael O. Rabin},
title = {Cryptography miracles, secure auctions, matching problem verification},
journal = {Commun. {ACM}},
volume = {57},
number = {2},
pages = {85--93},
year = {2014},
url = {https://doi.org/10.1145/2574871},
doi = {10.1145/2574871},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/MicaliR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/teco/AzarM14,
author = {Pablo Daniel Azar and
Silvio Micali},
title = {The Query Complexity of Scoring Rules},
journal = {{ACM} Trans. Economics and Comput.},
volume = {2},
number = {3},
pages = {10:1--10:10},
year = {2014},
url = {https://doi.org/10.1145/2632228},
doi = {10.1145/2632228},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/teco/AzarM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Micali14,
author = {Silvio Micali},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Shlomi Dolev},
title = {Rational and resilient protocols},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '14,
Paris, France, July 15-18, 2014},
pages = {1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2611462.2611516},
doi = {10.1145/2611462.2611516},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Micali14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/ChiesaMZ14,
author = {Alessandro Chiesa and
Silvio Micali and
Zeyuan Allen Zhu},
editor = {Moshe Babaioff and
Vincent Conitzer and
David A. Easley},
title = {Knightian self uncertainty in the vcg mechanism for unrestricted combinatorial
auctions},
booktitle = {{ACM} Conference on Economics and Computation, {EC} '14, Stanford
, CA, USA, June 8-12, 2014},
pages = {619--620},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2600057.2602857},
doi = {10.1145/2600057.2602857},
timestamp = {Tue, 15 Oct 2019 12:02:28 +0200},
biburl = {https://dblp.org/rec/conf/sigecom/ChiesaMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14,
author = {Alessandro Chiesa and
Silvio Micali and
Zeyuan Allen Zhu},
title = {Bridging Utility Maximization and Regret Minimization},
journal = {CoRR},
volume = {abs/1403.6394},
year = {2014},
url = {http://arxiv.org/abs/1403.6394},
eprinttype = {arXiv},
eprint = {1403.6394},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiesaMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14a,
author = {Alessandro Chiesa and
Silvio Micali and
Zeyuan Allen Zhu},
title = {Knightian Robustness from Regret Minimization},
journal = {CoRR},
volume = {abs/1403.6409},
year = {2014},
url = {http://arxiv.org/abs/1403.6409},
eprinttype = {arXiv},
eprint = {1403.6409},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiesaMZ14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14b,
author = {Alessandro Chiesa and
Silvio Micali and
Zeyuan Allen Zhu},
title = {Knightian Analysis of the {VCG} Mechanism in Unrestricted Combinatorial
Auctions},
journal = {CoRR},
volume = {abs/1403.6410},
year = {2014},
url = {http://arxiv.org/abs/1403.6410},
eprinttype = {arXiv},
eprint = {1403.6410},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiesaMZ14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14c,
author = {Alessandro Chiesa and
Silvio Micali and
Zeyuan Allen Zhu},
title = {Knightian Robustness of Single-Parameter Domains},
journal = {CoRR},
volume = {abs/1403.6411},
year = {2014},
url = {http://arxiv.org/abs/1403.6411},
eprinttype = {arXiv},
eprint = {1403.6411},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiesaMZ14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14d,
author = {Alessandro Chiesa and
Silvio Micali and
Zeyuan Allen Zhu},
title = {Knightian Robustness of the Vickrey Mechanism},
journal = {CoRR},
volume = {abs/1403.6413},
year = {2014},
url = {http://arxiv.org/abs/1403.6413},
eprinttype = {arXiv},
eprint = {1403.6413},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiesaMZ14d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhuGMS14,
author = {Zeyuan Allen Zhu and
Rati Gelashvili and
Silvio Micali and
Nir Shavit},
title = {Johnson-Lindenstrauss Compression with Neuroscience-Based Constraints},
journal = {CoRR},
volume = {abs/1411.5383},
year = {2014},
url = {http://arxiv.org/abs/1411.5383},
eprinttype = {arXiv},
eprint = {1411.5383},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhuGMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/AzarM13,
author = {Pablo Daniel Azar and
Silvio Micali},
editor = {Robert D. Kleinberg},
title = {Parametric digital auctions},
booktitle = {Innovations in Theoretical Computer Science, {ITCS} '13, Berkeley,
CA, USA, January 9-12, 2013},
pages = {231--232},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2422436.2422464},
doi = {10.1145/2422436.2422464},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/innovations/AzarM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/AzarM13,
author = {Pablo Daniel Azar and
Silvio Micali},
editor = {Michael J. Kearns and
R. Preston McAfee and
{\'{E}}va Tardos},
title = {Super-efficient rational proofs},
booktitle = {Proceedings of the fourteenth {ACM} Conference on Electronic Commerce,
{EC} 2013, Philadelphia, PA, USA, June 16-20, 2013},
pages = {29--30},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2492002.2482561},
doi = {10.1145/2492002.2482561},
timestamp = {Tue, 27 Nov 2018 11:56:48 +0100},
biburl = {https://dblp.org/rec/conf/sigecom/AzarM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/AzarDMW13,
author = {Pablo Daniel Azar and
Constantinos Daskalakis and
Silvio Micali and
S. Matthew Weinberg},
editor = {Sanjeev Khanna},
title = {Optimal and Efficient Parametric Auctions},
booktitle = {Proceedings of the Twenty-Fourth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2013, New Orleans, Louisiana, USA, January 6-8,
2013},
pages = {596--604},
publisher = {{SIAM}},
year = {2013},
url = {https://doi.org/10.1137/1.9781611973105.43},
doi = {10.1137/1.9781611973105.43},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soda/AzarDMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jet/ChenM12,
author = {Jing Chen and
Silvio Micali},
title = {Collusive dominant-strategy truthfulness},
journal = {J. Econ. Theory},
volume = {147},
number = {3},
pages = {1300--1312},
year = {2012},
url = {https://doi.org/10.1016/j.jet.2012.01.021},
doi = {10.1016/J.JET.2012.01.021},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jet/ChenM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ChiesaMZ12,
author = {Alessandro Chiesa and
Silvio Micali and
Zeyuan Allen Zhu},
editor = {Shafi Goldwasser},
title = {Mechanism design with approximate valuations},
booktitle = {Innovations in Theoretical Computer Science 2012, Cambridge, MA, USA,
January 8-10, 2012},
pages = {34--38},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2090236.2090240},
doi = {10.1145/2090236.2090240},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/innovations/ChiesaMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/0002CM12,
author = {Pablo Azar and
Jing Chen and
Silvio Micali},
editor = {Shafi Goldwasser},
title = {Crowdsourced Bayesian auctions},
booktitle = {Innovations in Theoretical Computer Science 2012, Cambridge, MA, USA,
January 8-10, 2012},
pages = {236--248},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2090236.2090257},
doi = {10.1145/2090236.2090257},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/innovations/0002CM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AzarM12,
author = {Pablo Daniel Azar and
Silvio Micali},
editor = {Howard J. Karloff and
Toniann Pitassi},
title = {Rational proofs},
booktitle = {Proceedings of the 44th Symposium on Theory of Computing Conference,
{STOC} 2012, New York, NY, USA, May 19 - 22, 2012},
pages = {1017--1028},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2213977.2214069},
doi = {10.1145/2213977.2214069},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AzarM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/geb/IzmalkovLM11,
author = {Sergei Izmalkov and
Matt Lepinski and
Silvio Micali},
title = {Perfect implementation},
journal = {Games Econ. Behav.},
volume = {71},
number = {1},
pages = {121--140},
year = {2011},
url = {https://doi.org/10.1016/j.geb.2010.05.003},
doi = {10.1016/J.GEB.2010.05.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/geb/IzmalkovLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amma/AzarCM11,
author = {Pablo Daniel Azar and
Jing Chen and
Silvio Micali},
editor = {Peter Coles and
Sanmay Das and
S{\'{e}}bastien Lahaie and
Boleslaw K. Szymanski},
title = {Crowdsourced Bayesian Auctions - (Abstract)},
booktitle = {Auctions, Market Mechanisms, and Their Applications - Second International
{ICST} Conference, {AMMA} 2011, New York, NY, USA, August 22-23, 2011,
Revised Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {80},
pages = {53},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-30913-7\_12},
doi = {10.1007/978-3-642-30913-7\_12},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amma/AzarCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ChenM11,
author = {Jing Chen and
Silvio Micali},
editor = {Rafail Ostrovsky},
title = {Mechanism Design with Set-Theoretic Beliefs},
booktitle = {{IEEE} 52nd Annual Symposium on Foundations of Computer Science, {FOCS}
2011, Palm Springs, CA, USA, October 22-25, 2011},
pages = {87--96},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/FOCS.2011.11},
doi = {10.1109/FOCS.2011.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/ChenM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-1147,
author = {Alessandro Chiesa and
Silvio Micali and
Zeyuan Allen Zhu},
title = {Knightian Auctions},
journal = {CoRR},
volume = {abs/1112.1147},
year = {2011},
url = {http://arxiv.org/abs/1112.1147},
eprinttype = {arXiv},
eprint = {1112.1147},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-1147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/MicaliPSW10,
author = {Silvio Micali and
Chris Peikert and
Madhu Sudan and
David A. Wilson},
title = {Optimal Error Correction for Computationally Bounded Noise},
journal = {{IEEE} Trans. Inf. Theory},
volume = {56},
number = {11},
pages = {5673--5680},
year = {2010},
url = {https://doi.org/10.1109/TIT.2010.2070370},
doi = {10.1109/TIT.2010.2070370},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tit/MicaliPSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bqgt/Micali10,
author = {Silvio Micali},
editor = {Moshe Dror and
Greys Sosic},
title = {Perfect concrete implementation of arbitrary mechanisms: a quick summary
of joint work with Sergei Izmalkov and Matt Lepinski},
booktitle = {Proceedings of the Behavioral and Quantitative Game Theory - Conference
on Future Directions, {BQGT} '10, Newport Beach, California, USA,
May 14-16, 2010},
pages = {88:1--88:5},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1807406.1807494},
doi = {10.1145/1807406.1807494},
timestamp = {Tue, 06 Nov 2018 16:57:10 +0100},
biburl = {https://dblp.org/rec/conf/bqgt/Micali10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ChenMV10,
author = {Jing Chen and
Silvio Micali and
Paul Valiant},
editor = {Andrew Chi{-}Chih Yao},
title = {Robustly Leveraging Collusion in Combinatorial Auctions},
booktitle = {Innovations in Computer Science - {ICS} 2010, Tsinghua University,
Beijing, China, January 5-7, 2010. Proceedings},
pages = {81--93},
publisher = {Tsinghua University Press},
year = {2010},
url = {http://conference.iiis.tsinghua.edu.cn/ICS2010/content/papers/7.html},
timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/innovations/ChenMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ChenHM10,
author = {Jing Chen and
Avinatan Hassidim and
Silvio Micali},
editor = {Andrew Chi{-}Chih Yao},
title = {Robust Perfect Revenue From Perfectly Informed Players},
booktitle = {Innovations in Computer Science - {ICS} 2010, Tsinghua University,
Beijing, China, January 5-7, 2010. Proceedings},
pages = {94--105},
publisher = {Tsinghua University Press},
year = {2010},
url = {http://conference.iiis.tsinghua.edu.cn/ICS2010/content/papers/8.html},
timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/innovations/ChenHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChenM09,
author = {Jing Chen and
Silvio Micali},
editor = {Michael Mitzenmacher},
title = {A new approach to auctions and resilient mechanism design},
booktitle = {Proceedings of the 41st Annual {ACM} Symposium on Theory of Computing,
{STOC} 2009, Bethesda, MD, USA, May 31 - June 2, 2009},
pages = {503--512},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1536414.1536484},
doi = {10.1145/1536414.1536484},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/ChenM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/MicaliS09,
author = {Silvio Micali and
Abhi Shelat},
editor = {Omer Reingold},
title = {Purely Rational Secret Sharing (Extended Abstract)},
booktitle = {Theory of Cryptography, 6th Theory of Cryptography Conference, {TCC}
2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5444},
pages = {54--71},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00457-5\_4},
doi = {10.1007/978-3-642-00457-5\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/tcc/MicaliS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkc/LiskovM08,
author = {Moses D. Liskov and
Silvio Micali},
editor = {Ronald Cramer},
title = {Online-Untransferable Signatures},
booktitle = {Public Key Cryptography - {PKC} 2008, 11th International Workshop
on Practice and Theory in Public-Key Cryptography, Barcelona, Spain,
March 9-12, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4939},
pages = {248--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78440-1\_15},
doi = {10.1007/978-3-540-78440-1\_15},
timestamp = {Fri, 01 May 2020 18:32:25 +0200},
biburl = {https://dblp.org/rec/conf/pkc/LiskovM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/IzmalkovLM08,
author = {Sergei Izmalkov and
Matt Lepinski and
Silvio Micali},
editor = {Ran Canetti},
title = {Verifiably Secure Devices},
booktitle = {Theory of Cryptography, Fifth Theory of Cryptography Conference, {TCC}
2008, New York, USA, March 19-21, 2008},
series = {Lecture Notes in Computer Science},
volume = {4948},
pages = {273--301},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78524-8\_16},
doi = {10.1007/978-3-540-78524-8\_16},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/tcc/IzmalkovLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MicaliPR06,
author = {Silvio Micali and
Rafael Pass and
Alon Rosen},
title = {Input-Indistinguishable Computation},
booktitle = {47th Annual {IEEE} Symposium on Foundations of Computer Science {(FOCS}
2006), 21-24 October 2006, Berkeley, California, USA, Proceedings},
pages = {367--378},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FOCS.2006.43},
doi = {10.1109/FOCS.2006.43},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/focs/MicaliPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GennaroM06,
author = {Rosario Gennaro and
Silvio Micali},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Independent Zero-Knowledge Sets},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {34--45},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_4},
doi = {10.1007/11787006\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GennaroM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/MicaliP06,
author = {Silvio Micali and
Rafael Pass},
editor = {Jon M. Kleinberg},
title = {Local zero knowledge},
booktitle = {Proceedings of the 38th Annual {ACM} Symposium on Theory of Computing,
Seattle, WA, USA, May 21-23, 2006},
pages = {306--315},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1132516.1132561},
doi = {10.1145/1132516.1132561},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/MicaliP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GennaroM06,
author = {Rosario Gennaro and
Silvio Micali},
title = {Independent Zero-Knowledge Sets},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {155},
year = {2006},
url = {http://eprint.iacr.org/2006/155},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GennaroM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/IzmalkovML05,
author = {Sergei Izmalkov and
Silvio Micali and
Matt Lepinski},
title = {Rational Secure Computation and Ideal Mechanism Design},
booktitle = {46th Annual {IEEE} Symposium on Foundations of Computer Science {(FOCS}
2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings},
pages = {585--595},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SFCS.2005.64},
doi = {10.1109/SFCS.2005.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/IzmalkovML05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LepinksiMS05,
author = {Matt Lepinski and
Silvio Micali and
Abhi Shelat},
editor = {Harold N. Gabow and
Ronald Fagin},
title = {Collusion-free protocols},
booktitle = {Proceedings of the 37th Annual {ACM} Symposium on Theory of Computing,
Baltimore, MD, USA, May 22-24, 2005},
pages = {543--552},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1060590.1060671},
doi = {10.1145/1060590.1060671},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LepinksiMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/MicaliPSW05,
author = {Silvio Micali and
Chris Peikert and
Madhu Sudan and
David A. Wilson},
editor = {Joe Kilian},
title = {Optimal Error Correction Against Computationally Bounded Noise},
booktitle = {Theory of Cryptography, Second Theory of Cryptography Conference,
{TCC} 2005, Cambridge, MA, USA, February 10-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3378},
pages = {1--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30576-7\_1},
doi = {10.1007/978-3-540-30576-7\_1},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tcc/MicaliPSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/LepinskiMS05,
author = {Matt Lepinski and
Silvio Micali and
Abhi Shelat},
editor = {Joe Kilian},
title = {Fair-Zero Knowledge},
booktitle = {Theory of Cryptography, Second Theory of Cryptography Conference,
{TCC} 2005, Cambridge, MA, USA, February 10-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3378},
pages = {245--263},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30576-7\_14},
doi = {10.1007/978-3-540-30576-7\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tcc/LepinskiMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/LysyanskayaMRS04,
author = {Anna Lysyanskaya and
Silvio Micali and
Leonid Reyzin and
Hovav Shacham},
editor = {Christian Cachin and
Jan Camenisch},
title = {Sequential Aggregate Signatures from Trapdoor Permutations},
booktitle = {Advances in Cryptology - {EUROCRYPT} 2004, International Conference
on the Theory and Applications of Cryptographic Techniques, Interlaken,
Switzerland, May 2-6, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3027},
pages = {74--90},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24676-3\_5},
doi = {10.1007/978-3-540-24676-3\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/LysyanskayaMRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/LepinskiMP04,
author = {Matt Lepinski and
Silvio Micali and
Chris Peikert and
Abhi Shelat},
editor = {Soma Chaudhuri and
Shay Kutten},
title = {Completely fair {SFE} and coalition-safe cheap talk},
booktitle = {Proceedings of the Twenty-Third Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2004, St. John's, Newfoundland, Canada,
July 25-28, 2004},
pages = {1--10},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1011767.1011769},
doi = {10.1145/1011767.1011769},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/LepinskiMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/GennaroLMMR04,
author = {Rosario Gennaro and
Anna Lysyanskaya and
Tal Malkin and
Silvio Micali and
Tal Rabin},
editor = {Moni Naor},
title = {Algorithmic Tamper-Proof {(ATP)} Security: Theoretical Foundations
for Security against Hardware Tampering},
booktitle = {Theory of Cryptography, First Theory of Cryptography Conference, {TCC}
2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2951},
pages = {258--277},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24638-1\_15},
doi = {10.1007/978-3-540-24638-1\_15},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/tcc/GennaroLMMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/MicaliR04,
author = {Silvio Micali and
Leonid Reyzin},
editor = {Moni Naor},
title = {Physically Observable Cryptography (Extended Abstract)},
booktitle = {Theory of Cryptography, First Theory of Cryptography Conference, {TCC}
2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2951},
pages = {278--296},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24638-1\_16},
doi = {10.1007/978-3-540-24638-1\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tcc/MicaliR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/HerzogLM03,
author = {Jonathan Herzog and
Moses D. Liskov and
Silvio Micali},
editor = {Dan Boneh},
title = {Plaintext Awareness via Key Registration},
booktitle = {Advances in Cryptology - {CRYPTO} 2003, 23rd Annual International
Cryptology Conference, Santa Barbara, California, USA, August 17-21,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2729},
pages = {548--564},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45146-4\_32},
doi = {10.1007/978-3-540-45146-4\_32},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/HerzogLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrsa/JakobssonLMS03,
author = {Markus Jakobsson and
Frank Thomson Leighton and
Silvio Micali and
Michael Szydlo},
editor = {Marc Joye},
title = {Fractal Merkle Tree Representation and Traversal},
booktitle = {Topics in Cryptology - {CT-RSA} 2003, The Cryptographers' Track at
the {RSA} Conference 2003, San Francisco, CA, USA, April 13-17, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2612},
pages = {314--326},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36563-X\_21},
doi = {10.1007/3-540-36563-X\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ctrsa/JakobssonLMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MicaliRK03,
author = {Silvio Micali and
Michael O. Rabin and
Joe Kilian},
title = {Zero-Knowledge Sets},
booktitle = {44th Symposium on Foundations of Computer Science {(FOCS} 2003), 11-14
October 2003, Cambridge, MA, USA, Proceedings},
pages = {80--91},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SFCS.2003.1238183},
doi = {10.1109/SFCS.2003.1238183},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MicaliRK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Micali03,
author = {Silvio Micali},
editor = {Elizabeth Borowsky and
Sergio Rajsbaum},
title = {Simple and fast optimistic protocols for fair electronic exchange},
booktitle = {Proceedings of the Twenty-Second {ACM} Symposium on Principles of
Distributed Computing, {PODC} 2003, Boston, Massachusetts, USA, July
13-16, 2003},
pages = {12--19},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/872035.872038},
doi = {10.1145/872035.872038},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Micali03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LysyanskayaMRS03,
author = {Anna Lysyanskaya and
Silvio Micali and
Leonid Reyzin and
Hovav Shacham},
title = {Sequential Aggregate Signatures from Trapdoor Permutations},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {91},
year = {2003},
url = {http://eprint.iacr.org/2003/091},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/LysyanskayaMRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MicaliR03,
author = {Silvio Micali and
Leonid Reyzin},
title = {Physically Observable Cryptography},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {120},
year = {2003},
url = {http://eprint.iacr.org/2003/120},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/MicaliR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/MicaliR02,
author = {Silvio Micali and
Leonid Reyzin},
title = {Improving the Exact Security of Digital Signature Schemes},
journal = {J. Cryptol.},
volume = {15},
number = {1},
pages = {1--18},
year = {2002},
url = {https://doi.org/10.1007/s00145-001-0005-8},
doi = {10.1007/S00145-001-0005-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joc/MicaliR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrsa/MicaliR02,
author = {Silvio Micali and
Ronald L. Rivest},
editor = {Bart Preneel},
title = {Micropayments Revisited},
booktitle = {Topics in Cryptology - {CT-RSA} 2002, The Cryptographer's Track at
the {RSA} Conference, 2002, San Jose, CA, USA, February 18-22, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2271},
pages = {149--163},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45760-7\_11},
doi = {10.1007/3-540-45760-7\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ctrsa/MicaliR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrsa/MicaliR02a,
author = {Silvio Micali and
Ronald L. Rivest},
editor = {Bart Preneel},
title = {Transitive Signature Schemes},
booktitle = {Topics in Cryptology - {CT-RSA} 2002, The Cryptographer's Track at
the {RSA} Conference, 2002, San Jose, CA, USA, February 18-22, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2271},
pages = {236--243},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45760-7\_16},
doi = {10.1007/3-540-45760-7\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctrsa/MicaliR02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiacrypt/LiskovLMRS01,
author = {Moses D. Liskov and
Anna Lysyanskaya and
Silvio Micali and
Leonid Reyzin and
Adam D. Smith},
editor = {Colin Boyd},
title = {Mutually Independent Commitments},
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 = {385--401},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45682-1\_23},
doi = {10.1007/3-540-45682-1\_23},
timestamp = {Tue, 20 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asiacrypt/LiskovLMRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/MicaliOR01,
author = {Silvio Micali and
Kazuo Ohta and
Leonid Reyzin},
editor = {Michael K. Reiter and
Pierangela Samarati},
title = {Accountable-subgroup multisignatures: extended abstract},
booktitle = {{CCS} 2001, Proceedings of the 8th {ACM} Conference on Computer and
Communications Security, Philadelphia, Pennsylvania, USA, November
6-8, 2001},
pages = {245--254},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/501983.502017},
doi = {10.1145/501983.502017},
timestamp = {Tue, 10 Nov 2020 20:00:35 +0100},
biburl = {https://dblp.org/rec/conf/ccs/MicaliOR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/MicaliR01,
author = {Silvio Micali and
Leonid Reyzin},
editor = {Joe Kilian},
title = {Soundness in the Public-Key Model},
booktitle = {Advances in Cryptology - {CRYPTO} 2001, 21st Annual International
Cryptology Conference, Santa Barbara, California, USA, August 19-23,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2139},
pages = {542--565},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44647-8\_32},
doi = {10.1007/3-540-44647-8\_32},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/MicaliR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/MicaliR01,
author = {Silvio Micali and
Leonid Reyzin},
editor = {Birgit Pfitzmann},
title = {Min-round Resettable Zero-Knowledge in the Public-Key Model},
booktitle = {Advances in Cryptology - {EUROCRYPT} 2001, International Conference
on the Theory and Application of Cryptographic Techniques, Innsbruck,
Austria, May 6-10, 2001, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {2045},
pages = {373--393},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44987-6\_23},
doi = {10.1007/3-540-44987-6\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/MicaliR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BellareFGM01,
author = {Mihir Bellare and
Marc Fischlin and
Shafi Goldwasser and
Silvio Micali},
editor = {Birgit Pfitzmann},
title = {Identification Protocols Secure against Reset Attacks},
booktitle = {Advances in Cryptology - {EUROCRYPT} 2001, International Conference
on the Theory and Application of Cryptographic Techniques, Innsbruck,
Austria, May 6-10, 2001, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {2045},
pages = {495--511},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44987-6\_30},
doi = {10.1007/3-540-44987-6\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/BellareFGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/LiskovM01,
author = {Moses D. Liskov and
Silvio Micali},
editor = {Paul F. Syverson},
title = {Amortized E-Cash},
booktitle = {Financial Cryptography, 5th International Conference, {FC} 2001, Grand
Cayman, British West Indies, February 19-22, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2339},
pages = {1--20},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46088-8\_1},
doi = {10.1007/3-540-46088-8\_1},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fc/LiskovM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KilianKMO00,
author = {Joe Kilian and
Eyal Kushilevitz and
Silvio Micali and
Rafail Ostrovsky},
title = {Reducibility and Completeness in Private Computations},
journal = {{SIAM} J. Comput.},
volume = {29},
number = {4},
pages = {1189--1208},
year = {2000},
url = {https://doi.org/10.1137/S0097539797321742},
doi = {10.1137/S0097539797321742},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/KilianKMO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Micali00,
author = {Silvio Micali},
title = {Computationally Sound Proofs},
journal = {{SIAM} J. Comput.},
volume = {30},
number = {4},
pages = {1253--1298},
year = {2000},
url = {https://doi.org/10.1137/S0097539795284959},
doi = {10.1137/S0097539795284959},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Micali00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/DodisM00,
author = {Yevgeniy Dodis and
Silvio Micali},
editor = {Mihir Bellare},
title = {Parallel Reducibility for Information-Theoretically Secure Computation},
booktitle = {Advances in Cryptology - {CRYPTO} 2000, 20th Annual International
Cryptology Conference, Santa Barbara, California, USA, August 20-24,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1880},
pages = {74--92},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44598-6\_5},
doi = {10.1007/3-540-44598-6\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/DodisM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BellareBM00,
author = {Mihir Bellare and
Alexandra Boldyreva and
Silvio Micali},
editor = {Bart Preneel},
title = {Public-Key Encryption in a Multi-user Setting: Security Proofs and
Improvements},
booktitle = {Advances in Cryptology - {EUROCRYPT} 2000, International Conference
on the Theory and Application of Cryptographic Techniques, Bruges,
Belgium, May 14-18, 2000, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1807},
pages = {259--274},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45539-6\_18},
doi = {10.1007/3-540-45539-6\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/BellareBM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CanettiGGM00,
author = {Ran Canetti and
Oded Goldreich and
Shafi Goldwasser and
Silvio Micali},
editor = {F. Frances Yao and
Eugene M. Luks},
title = {Resettable zero-knowledge (extended abstract)},
booktitle = {Proceedings of the Thirty-Second Annual {ACM} Symposium on Theory
of Computing, May 21-23, 2000, Portland, OR, {USA}},
pages = {235--244},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335305.335334},
doi = {10.1145/335305.335334},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/CanettiGGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BellareFGM00,
author = {Mihir Bellare and
Marc Fischlin and
Shafi Goldwasser and
Silvio Micali},
title = {Identification Protocols Secure Against Reset Attacks},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {15},
year = {2000},
url = {http://eprint.iacr.org/2000/015},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BellareFGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cqre/MicaliR99,
author = {Silvio Micali and
Leonid Reyzin},
editor = {Rainer Baumgart},
title = {Improving the Exact Security of Fiat-Shamir Signature Schemes},
booktitle = {Secure Networking - {CQRE} (Secure) '99, International Exhibition
and Congress D{\"{u}}sseldorf, Germany, November 30 - December
2, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1740},
pages = {167--182},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46701-7\_15},
doi = {10.1007/3-540-46701-7\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cqre/MicaliR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BeimelMM99,
author = {Amos Beimel and
Tal Malkin and
Silvio Micali},
editor = {Michael J. Wiener},
title = {The All-or-Nothing Nature of Two-Party Secure Computation},
booktitle = {Advances in Cryptology - {CRYPTO} '99, 19th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 15-19, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1666},
pages = {80--97},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48405-1\_6},
doi = {10.1007/3-540-48405-1\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/BeimelMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/DodisM99,
author = {Yevgeniy Dodis and
Silvio Micali},
editor = {Jacques Stern},
title = {Lower Bounds for Oblivious Transfer Reductions},
booktitle = {Advances in Cryptology - {EUROCRYPT} '99, International Conference
on the Theory and Application of Cryptographic Techniques, Prague,
Czech Republic, May 2-6, 1999, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1592},
pages = {42--55},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48910-X\_4},
doi = {10.1007/3-540-48910-X\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/DodisM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/CachinMS99,
author = {Christian Cachin and
Silvio Micali and
Markus Stadler},
editor = {Jacques Stern},
title = {Computationally Private Information Retrieval with Polylogarithmic
Communication},
booktitle = {Advances in Cryptology - {EUROCRYPT} '99, International Conference
on the Theory and Application of Cryptographic Techniques, Prague,
Czech Republic, May 2-6, 1999, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1592},
pages = {402--414},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48910-X\_28},
doi = {10.1007/3-540-48910-X\_28},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocrypt/CachinMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MicaliRV99,
author = {Silvio Micali and
Michael O. Rabin and
Salil P. Vadhan},
title = {Verifiable Random Functions},
booktitle = {40th Annual Symposium on Foundations of Computer Science, {FOCS} '99,
17-18 October, 1999, New York, NY, {USA}},
pages = {120--130},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/SFFCS.1999.814584},
doi = {10.1109/SFFCS.1999.814584},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MicaliRV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR99-024,
author = {Oded Goldreich and
Shafi Goldwasser and
Silvio Micali},
title = {Interleaved Zero-Knowledge in the Public-Key Model},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR99-024}},
year = {1999},
url = {https://eccc.weizmann.ac.il/eccc-reports/1999/TR99-024/index.html},
eprinttype = {ECCC},
eprint = {TR99-024},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR99-024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR99-042,
author = {Ran Canetti and
Oded Goldreich and
Shafi Goldwasser and
Silvio Micali},
title = {Resettable Zero-Knowledge},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR99-042}},
year = {1999},
url = {https://eccc.weizmann.ac.il/eccc-reports/1999/TR99-042/index.html},
eprinttype = {ECCC},
eprint = {TR99-042},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR99-042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GoldreichGM99,
author = {Oded Goldreich and
Shafi Goldwasser and
Silvio Micali},
title = {Interleaved Zero-Knowledge in the Public-Key Model},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {15},
year = {1999},
url = {http://eprint.iacr.org/1999/015},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GoldreichGM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MicaliR99,
author = {Silvio Micali and
Leonid Reyzin},
title = {Improving the Exact Security of Digital Signature Schemes},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {20},
year = {1999},
url = {http://eprint.iacr.org/1999/020},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/MicaliR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/CanettiGGM99,
author = {Ran Canetti and
Oded Goldreich and
Shafi Goldwasser and
Silvio Micali},
title = {Resettable Zero-Knowledge},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {22},
year = {1999},
url = {http://eprint.iacr.org/1999/022},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/CanettiGGM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Micali98,
author = {Silvio Micali},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Computationally-Sound Checkers},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {94--116},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055760},
doi = {10.1007/BFB0055760},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Micali98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HaleviM98,
author = {Shai Halevi and
Silvio Micali},
title = {More on Proofs of Knowledge},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {15},
year = {1998},
url = {http://eprint.iacr.org/1998/015},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/HaleviM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/FeldmanM97,
author = {Pesech Feldman and
Silvio Micali},
title = {An Optimal Probabilistic Protocol for Synchronous Byzantine Agreement},
journal = {{SIAM} J. Comput.},
volume = {26},
number = {4},
pages = {873--933},
year = {1997},
url = {https://doi.org/10.1137/S0097539790187084},
doi = {10.1137/S0097539790187084},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/FeldmanM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/EvenGM96,
author = {Shimon Even and
Oded Goldreich and
Silvio Micali},
title = {On-Line/Off-Line Digital Signatures},
journal = {J. Cryptol.},
volume = {9},
number = {1},
pages = {35--67},
year = {1996},
url = {https://doi.org/10.1007/BF02254791},
doi = {10.1007/BF02254791},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joc/EvenGM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/FischerMR96,
author = {Michael J. Fischer and
Silvio Micali and
Charles Rackoff},
title = {A Secure Protocol for the Oblivious Transfer (Extended Abstract)},
journal = {J. Cryptol.},
volume = {9},
number = {3},
pages = {191--195},
year = {1996},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joc/FischerMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/HaleviM96,
author = {Shai Halevi and
Silvio Micali},
editor = {Neal Koblitz},
title = {Practical and Provably-Secure Commitment Schemes from Collision-Free
Hashing},
booktitle = {Advances in Cryptology - {CRYPTO} '96, 16th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1109},
pages = {201--215},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-68697-5\_16},
doi = {10.1007/3-540-68697-5\_16},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/HaleviM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/MicaliS95,
author = {Silvio Micali and
Ray Sidney},
editor = {Don Coppersmith},
title = {A Simple Method for Generating and Sharing Pseudo-Random Functions,
with Applications to Clipper-like Escrow Systems},
booktitle = {Advances in Cryptology - {CRYPTO} '95, 15th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 27-31, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {963},
pages = {185--196},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-44750-4\_15},
doi = {10.1007/3-540-44750-4\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/MicaliS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/GennaroM95,
author = {Rosario Gennaro and
Silvio Micali},
editor = {Louis C. Guillou and
Jean{-}Jacques Quisquater},
title = {Verifiable Secret Sharing as Secure Computation},
booktitle = {Advances in Cryptology - {EUROCRYPT} '95, International Conference
on the Theory and Application of Cryptographic Techniques, Saint-Malo,
France, May 21-25, 1995, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {921},
pages = {168--182},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-49264-X\_14},
doi = {10.1007/3-540-49264-X\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/GennaroM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Micali95,
author = {Silvio Micali},
editor = {Johann A. Makowsky and
Elena V. Ravve},
title = {Computationally-Sound Proofs},
booktitle = {Proceedings of the Annual European Summer Meeting of the Association
of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
1995},
series = {Lecture Notes in Logic},
volume = {11},
pages = {214--268},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-662-22108-2\_13},
doi = {10.1007/978-3-662-22108-2\_13},
timestamp = {Fri, 15 May 2020 14:19:27 +0200},
biburl = {https://dblp.org/rec/conf/logicColl/Micali95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Micali94,
author = {Silvio Micali},
title = {{CS} Proofs (Extended Abstracts)},
booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
New Mexico, USA, 20-22 November 1994},
pages = {436--453},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SFCS.1994.365746},
doi = {10.1109/SFCS.1994.365746},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Micali94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KushilevitzMO94,
author = {Eyal Kushilevitz and
Silvio Micali and
Rafail Ostrovsky},
title = {Reducibility and Completeness in Multi-Party Private Computations},
booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
New Mexico, USA, 20-22 November 1994},
pages = {478--489},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SFCS.1994.365743},
doi = {10.1109/SFCS.1994.365743},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/KushilevitzMO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/LeightonM93,
author = {Frank Thomson Leighton and
Silvio Micali},
editor = {Douglas R. Stinson},
title = {Secret-Key Agreement without Public-Key Cryptography},
booktitle = {Advances in Cryptology - {CRYPTO} '93, 13th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 22-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {773},
pages = {456--479},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-48329-2\_39},
doi = {10.1007/3-540-48329-2\_39},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/LeightonM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BellareM92,
author = {Mihir Bellare and
Silvio Micali},
title = {How to Sign Given Any Trapdoor Permutation},
journal = {J. {ACM}},
volume = {39},
number = {1},
pages = {214--233},
year = {1992},
url = {https://doi.org/10.1145/147508.147537},
doi = {10.1145/147508.147537},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BellareM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/Micali92,
author = {Silvio Micali},
editor = {Ernest F. Brickell},
title = {Fair Public-Key Cryptosystems},
booktitle = {Advances in Cryptology - {CRYPTO} '92, 12th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 16-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {740},
pages = {113--138},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-48071-4\_9},
doi = {10.1007/3-540-48071-4\_9},
timestamp = {Tue, 01 Jun 2021 15:21:29 +0200},
biburl = {https://dblp.org/rec/conf/crypto/Micali92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GoldreichMW91,
author = {Oded Goldreich and
Silvio Micali and
Avi Wigderson},
title = {Proofs that Yield Nothing But Their Validity for All Languages in
{NP} Have Zero-Knowledge Proof Systems},
journal = {J. {ACM}},
volume = {38},
number = {3},
pages = {691--729},
year = {1991},
url = {https://doi.org/10.1145/116825.116852},
doi = {10.1145/116825.116852},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GoldreichMW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/MicaliS91,
author = {Silvio Micali and
Claus{-}Peter Schnorr},
title = {Efficient, Perfect Polynomial Random Number Generators},
journal = {J. Cryptol.},
volume = {3},
number = {3},
pages = {157--172},
year = {1991},
url = {https://doi.org/10.1007/BF00196909},
doi = {10.1007/BF00196909},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joc/MicaliS91.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/crypto/MicaliR91,
author = {Silvio Micali and
Phillip Rogaway},
editor = {Joan Feigenbaum},
title = {Secure Computation (Abstract)},
booktitle = {Advances in Cryptology - {CRYPTO} '91, 11th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 11-15, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {576},
pages = {392--404},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-46766-1\_32},
doi = {10.1007/3-540-46766-1\_32},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/crypto/MicaliR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/Ben-OrGMR90,
author = {Michael Ben{-}Or and
Oded Goldreich and
Silvio Micali and
Ronald L. Rivest},
title = {A fair protocol for signing contracts},
journal = {{IEEE} Trans. Inf. Theory},
volume = {36},
number = {1},
pages = {40--46},
year = {1990},
url = {https://doi.org/10.1109/18.50372},
doi = {10.1109/18.50372},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/Ben-OrGMR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/MicaliR90,
author = {Silvio Micali and
Tal Rabin},
editor = {Alfred Menezes and
Scott A. Vanstone},
title = {Collective Coin Tossing Without Assumptions nor Broadcasting},
booktitle = {Advances in Cryptology - {CRYPTO} '90, 10th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 11-15, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {537},
pages = {253--266},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-38424-3\_18},
doi = {10.1007/3-540-38424-3\_18},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/crypto/MicaliR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BellareMO90,
author = {Mihir Bellare and
Silvio Micali and
Rafail Ostrovsky},
editor = {Harriet Ortiz},
title = {Perfect Zero-Knowledge in Constant Rounds},
booktitle = {Proceedings of the 22nd Annual {ACM} Symposium on Theory of Computing,
May 13-17, 1990, Baltimore, Maryland, {USA}},
pages = {482--493},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/100216.100283},
doi = {10.1145/100216.100283},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BellareMO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BellareMO90a,
author = {Mihir Bellare and
Silvio Micali and
Rafail Ostrovsky},
editor = {Harriet Ortiz},
title = {The (True) Complexity of Statistical Zero Knowledge},
booktitle = {Proceedings of the 22nd Annual {ACM} Symposium on Theory of Computing,
May 13-17, 1990, Baltimore, Maryland, {USA}},
pages = {494--502},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/100216.100285},
doi = {10.1145/100216.100285},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BellareMO90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BeaverMR90,
author = {Donald Beaver and
Silvio Micali and
Phillip Rogaway},
editor = {Harriet Ortiz},
title = {The Round Complexity of Secure Protocols (Extended Abstract)},
booktitle = {Proceedings of the 22nd Annual {ACM} Symposium on Theory of Computing,
May 13-17, 1990, Baltimore, Maryland, {USA}},
pages = {503--513},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/100216.100287},
doi = {10.1145/100216.100287},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BeaverMR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GoldwasserMR89,
author = {Shafi Goldwasser and
Silvio Micali and
Charles Rackoff},
title = {The Knowledge Complexity of Interactive Proof Systems},
journal = {{SIAM} J. Comput.},
volume = {18},
number = {1},
pages = {186--208},
year = {1989},
url = {https://doi.org/10.1137/0218012},
doi = {10.1137/0218012},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/GoldwasserMR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/EvenM89,
author = {Shimon Even and
Oded Goldreich and
Silvio Micali},
editor = {Gilles Brassard},
title = {On-Line/Off-Line Digital Schemes},
booktitle = {Advances in Cryptology - {CRYPTO} '89, 9th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 20-24, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {435},
pages = {263--275},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/0-387-34805-0\_24},
doi = {10.1007/0-387-34805-0\_24},
timestamp = {Tue, 01 Jun 2021 15:21:29 +0200},
biburl = {https://dblp.org/rec/conf/crypto/EvenM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/KilianO89,
author = {Joe Kilian and
Silvio Micali and
Rafail Ostrovsky},
editor = {Gilles Brassard},
title = {Minimum Resource Zero-Knowledge Proofs (Extended Abstract)},
booktitle = {Advances in Cryptology - {CRYPTO} '89, 9th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 20-24, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {435},
pages = {545--546},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/0-387-34805-0\_47},
doi = {10.1007/0-387-34805-0\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/KilianO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BellareM89,
author = {Mihir Bellare and
Silvio Micali},
editor = {Gilles Brassard},
title = {Non-Interactive Oblivious Transfer and Applications},
booktitle = {Advances in Cryptology - {CRYPTO} '89, 9th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 20-24, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {435},
pages = {547--557},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/0-387-34805-0\_48},
doi = {10.1007/0-387-34805-0\_48},
timestamp = {Mon, 15 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/BellareM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KilianMO89,
author = {Joe Kilian and
Silvio Micali and
Rafail Ostrovsky},
title = {Minimum Resource Zero-Knowledge Proofs (Extended Abstract)},
booktitle = {30th Annual Symposium on Foundations of Computer Science, Research
Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
pages = {474--479},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/SFCS.1989.63521},
doi = {10.1109/SFCS.1989.63521},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/KilianMO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FeldmanM89,
author = {Paul Feldman and
Silvio Micali},
editor = {Giorgio Ausiello and
Mariangiola Dezani{-}Ciancaglini and
Simona Ronchi Della Rocca},
title = {An Optimal Probabilistic Algorithm For Synchronous Byzantine Agreement},
booktitle = {Automata, Languages and Programming, 16th International Colloquium,
ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {372},
pages = {341--378},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0035770},
doi = {10.1007/BFB0035770},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FeldmanM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Micali89,
author = {Silvio Micali},
editor = {Gerhard X. Ritter},
title = {"Perfect" Pseudo-Random Number Generation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {121--126},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Micali89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GoldwasserMR88,
author = {Shafi Goldwasser and
Silvio Micali and
Ronald L. Rivest},
title = {A Digital Signature Scheme Secure Against Adaptive Chosen-Message
Attacks},
journal = {{SIAM} J. Comput.},
volume = {17},
number = {2},
pages = {281--308},
year = {1988},
url = {https://doi.org/10.1137/0217017},
doi = {10.1137/0217017},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/GoldwasserMR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/MicaliRS88,
author = {Silvio Micali and
Charles Rackoff and
Bob Sloan},
title = {The Notion of Security for Probabilistic Cryptosystems},
journal = {{SIAM} J. Comput.},
volume = {17},
number = {2},
pages = {412--426},
year = {1988},
url = {https://doi.org/10.1137/0217025},
doi = {10.1137/0217025},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/MicaliRS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/Ben-OrGGHKMR88,
author = {Michael Ben{-}Or and
Oded Goldreich and
Shafi Goldwasser and
Johan H{\aa}stad and
Joe Kilian and
Silvio Micali and
Phillip Rogaway},
editor = {Shafi Goldwasser},
title = {Everything Provable is Provable in Zero-Knowledge},
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 = {37--56},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/0-387-34799-2\_4},
doi = {10.1007/0-387-34799-2\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/Ben-OrGGHKMR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/MicaliS88,
author = {Silvio Micali and
Claus{-}Peter Schnorr},
editor = {Shafi Goldwasser},
title = {Efficient, Perfect Random Number Generators},
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 = {173--198},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/0-387-34799-2\_14},
doi = {10.1007/0-387-34799-2\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/MicaliS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BellareM88,
author = {Mihir Bellare and
Silvio Micali},
editor = {Shafi Goldwasser},
title = {How To Sign Given Any Trapdoor Function},
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 = {200--215},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/0-387-34799-2\_15},
doi = {10.1007/0-387-34799-2\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/BellareM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/MicaliS88a,
author = {Silvio Micali and
Adi Shamir},
editor = {Shafi Goldwasser},
title = {An Improvement of the Fiat-Shamir Identification and Signature Scheme},
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 = {244--247},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/0-387-34799-2\_18},
doi = {10.1007/0-387-34799-2\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/MicaliS88a.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, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/BlumFM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/SantisMP88,
author = {Alfredo De Santis and
Silvio Micali and
Giuseppe Persiano},
editor = {Shafi Goldwasser},
title = {Non-Interactive Zero-Knowledge with Preprocessing},
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 = {269--282},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/0-387-34799-2\_21},
doi = {10.1007/0-387-34799-2\_21},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/SantisMP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BellareM88,
author = {Mihir Bellare and
Silvio Micali},
editor = {Janos Simon},
title = {How to Sign Given Any Trapdoor Function (Extended Abstract)},
booktitle = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
May 2-4, 1988, Chicago, Illinois, {USA}},
pages = {32--42},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62212.62216},
doi = {10.1145/62212.62216},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BellareM88.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/stoc/FeldmanM88,
author = {Paul Feldman and
Silvio Micali},
editor = {Janos Simon},
title = {Optimal Algorithms for Byzantine Agreement},
booktitle = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
May 2-4, 1988, Chicago, Illinois, {USA}},
pages = {148--161},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62212.62225},
doi = {10.1145/62212.62225},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FeldmanM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/SantisMP87,
author = {Alfredo De Santis and
Silvio Micali and
Giuseppe Persiano},
editor = {Carl Pomerance},
title = {Non-Interactive Zero-Knowledge Proof Systems},
booktitle = {Advances in Cryptology - {CRYPTO} '87, {A} Conference on the Theory
and Applications of Cryptographic Techniques, Santa Barbara, California,
USA, August 16-20, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {293},
pages = {52--72},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-48184-2\_5},
doi = {10.1007/3-540-48184-2\_5},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/SantisMP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GoldreichMW87,
author = {Oded Goldreich and
Silvio Micali and
Avi Wigderson},
editor = {Alfred V. Aho},
title = {How to Play any Mental Game or {A} Completeness Theorem for Protocols
with Honest Majority},
booktitle = {Proceedings of the 19th Annual {ACM} Symposium on Theory of Computing,
1987, New York, New York, {USA}},
pages = {218--229},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/28395.28420},
doi = {10.1145/28395.28420},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GoldreichMW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GoldreichGM86,
author = {Oded Goldreich and
Shafi Goldwasser and
Silvio Micali},
title = {How to construct random functions},
journal = {J. {ACM}},
volume = {33},
number = {4},
pages = {792--807},
year = {1986},
url = {https://doi.org/10.1145/6490.6503},
doi = {10.1145/6490.6503},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GoldreichGM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GalilMG86,
author = {Zvi Galil and
Silvio Micali and
Harold N. Gabow},
title = {An {O(EV} log {V)} Algorithm for Finding a Maximal Weighted Matching
in General Graphs},
journal = {{SIAM} J. Comput.},
volume = {15},
number = {1},
pages = {120--130},
year = {1986},
url = {https://doi.org/10.1137/0215009},
doi = {10.1137/0215009},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/GalilMG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/GoldreichMW86,
author = {Oded Goldreich and
Silvio Micali and
Avi Wigderson},
editor = {Andrew M. Odlyzko},
title = {How to Prove all NP-Statements in Zero-Knowledge, and a Methodology
of Cryptographic Protocol Design},
booktitle = {Advances in Cryptology - {CRYPTO} '86, Santa Barbara, California,
USA, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {263},
pages = {171--185},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-47721-7\_11},
doi = {10.1007/3-540-47721-7\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/GoldreichMW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/MicaliRS86,
author = {Silvio Micali and
Charles Rackoff and
Bob Sloan},
editor = {Andrew M. Odlyzko},
title = {The Notion of Security for Probabilistic Cryptosystems},
booktitle = {Advances in Cryptology - {CRYPTO} '86, Santa Barbara, California,
USA, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {263},
pages = {381--392},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-47721-7\_27},
doi = {10.1007/3-540-47721-7\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/MicaliRS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GoldreichMW86,
author = {Oded Goldreich and
Silvio Micali and
Avi Wigderson},
title = {Proofs that Yield Nothing But their Validity and a Methodology of
Cryptographic Protocol Design (Extended Abstract)},
booktitle = {27th Annual Symposium on Foundations of Computer Science, Toronto,
Canada, 27-29 October 1986},
pages = {174--187},
publisher = {{IEEE} Computer Society},
year = {1986},
url = {https://doi.org/10.1109/SFCS.1986.47},
doi = {10.1109/SFCS.1986.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GoldreichMW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AwerbuchM86,
author = {Baruch Awerbuch and
Silvio Micali},
title = {Dynamic deadlock resolution protocols (Extended Abstract)},
booktitle = {27th Annual Symposium on Foundations of Computer Science, Toronto,
Canada, 27-29 October 1986},
pages = {196--207},
publisher = {{IEEE} Computer Society},
year = {1986},
url = {https://doi.org/10.1109/SFCS.1986.16},
doi = {10.1109/SFCS.1986.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AwerbuchM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoldreichMW86,
author = {Oded Goldreich and
Silvio Micali and
Avi Wigderson},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Proofs that Release Minimum Knowledge},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {639--650},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016291},
doi = {10.1007/BFB0016291},
timestamp = {Sat, 30 Sep 2023 09:52:35 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoldreichMW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Micali86,
author = {Silvio Micali},
editor = {Joseph Y. Halpern},
title = {Knowledge and Efficient Computation},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1986},
pages = {353--362},
publisher = {Morgan Kaufmann},
year = {1986},
timestamp = {Thu, 21 Jun 2018 07:50:24 +0200},
biburl = {https://dblp.org/rec/conf/tark/Micali86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FeldmanM85,
author = {Paul Feldman and
Silvio Micali},
title = {Byzantine Agreement in Constant Expected Time (and Trusting No One)},
booktitle = {26th Annual Symposium on Foundations of Computer Science, Portland,
Oregon, USA, 21-23 October 1985},
pages = {267--276},
publisher = {{IEEE} Computer Society},
year = {1985},
url = {https://doi.org/10.1109/SFCS.1985.14},
doi = {10.1109/SFCS.1985.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FeldmanM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ChorGMA85,
author = {Benny Chor and
Shafi Goldwasser and
Silvio Micali and
Baruch Awerbuch},
title = {Verifiable Secret Sharing and Achieving Simultaneity in the Presence
of Faults (Extended Abstract)},
booktitle = {26th Annual Symposium on Foundations of Computer Science, Portland,
Oregon, USA, 21-23 October 1985},
pages = {383--395},
publisher = {{IEEE} Computer Society},
year = {1985},
url = {https://doi.org/10.1109/SFCS.1985.64},
doi = {10.1109/SFCS.1985.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/ChorGMA85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ben-OrGMR85,
author = {Michael Ben{-}Or and
Oded Goldreich and
Silvio Micali and
Ronald L. Rivest},
editor = {Wilfried Brauer},
title = {A Fair Protocol for Signing Contracts (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {43--52},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015729},
doi = {10.1007/BFB0015729},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ben-OrGMR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GoldwasserMR85,
author = {Shafi Goldwasser and
Silvio Micali and
Charles Rackoff},
editor = {Robert Sedgewick},
title = {The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract)},
booktitle = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
May 6-8, 1985, Providence, Rhode Island, {USA}},
pages = {291--304},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/22145.22178},
doi = {10.1145/22145.22178},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GoldwasserMR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GoldwasserM84,
author = {Shafi Goldwasser and
Silvio Micali},
title = {Probabilistic Encryption},
journal = {J. Comput. Syst. Sci.},
volume = {28},
number = {2},
pages = {270--299},
year = {1984},
url = {https://doi.org/10.1016/0022-0000(84)90070-9},
doi = {10.1016/0022-0000(84)90070-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GoldwasserM84.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/GoldreichGM84,
author = {Oded Goldreich and
Shafi Goldwasser and
Silvio Micali},
editor = {G. R. Blakley and
David Chaum},
title = {On the Cryptographic Applications of Random Functions},
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 = {276--288},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-39568-7\_22},
doi = {10.1007/3-540-39568-7\_22},
timestamp = {Tue, 01 Jun 2021 15:21:29 +0200},
biburl = {https://dblp.org/rec/conf/crypto/GoldreichGM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/GoldwasserMR84,
author = {Shafi Goldwasser and
Silvio Micali and
Ronald L. Rivest},
editor = {G. R. Blakley and
David Chaum},
title = {A "Paradoxical'"Solution to the Signature Problem (Abstract)},
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 = {467},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-39568-7\_37},
doi = {10.1007/3-540-39568-7\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/GoldwasserMR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GoldwasserMR84,
author = {Shafi Goldwasser and
Silvio Micali and
Ronald L. Rivest},
title = {A "Paradoxical" Solution to the Signature Problem (Extended
Abstract)},
booktitle = {25th Annual Symposium on Foundations of Computer Science, West Palm
Beach, Florida, USA, 24-26 October 1984},
pages = {441--448},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {https://doi.org/10.1109/SFCS.1984.715946},
doi = {10.1109/SFCS.1984.715946},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GoldwasserMR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GoldreichGM84,
author = {Oded Goldreich and
Shafi Goldwasser and
Silvio Micali},
title = {How to Construct Random Functions (Extended Abstract)},
booktitle = {25th Annual Symposium on Foundations of Computer Science, West Palm
Beach, Florida, USA, 24-26 October 1984},
pages = {464--479},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {https://doi.org/10.1109/SFCS.1984.715949},
doi = {10.1109/SFCS.1984.715949},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GoldreichGM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/LubyMR83,
author = {Michael Luby and
Silvio Micali and
Charles Rackoff},
title = {How to Simultaneously Exchange a Secret Bit by Flipping a Symmetrically-Biased
Coin},
booktitle = {24th Annual Symposium on Foundations of Computer Science, Tucson,
Arizona, USA, 7-9 November 1983},
pages = {11--21},
publisher = {{IEEE} Computer Society},
year = {1983},
url = {https://doi.org/10.1109/SFCS.1983.25},
doi = {10.1109/SFCS.1983.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/LubyMR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GoldwasserMY83,
author = {Shafi Goldwasser and
Silvio Micali and
Andrew Chi{-}Chih Yao},
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 = {Strong Signature Schemes},
booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
25-27 April, 1983, Boston, Massachusetts, {USA}},
pages = {431--439},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800061.808774},
doi = {10.1145/800061.808774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GoldwasserMY83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/YaoMG82,
author = {Shafi Goldwasser and
Silvio Micali and
Andrew Chi{-}Chih Yao},
editor = {David Chaum and
Ronald L. Rivest and
Alan T. Sherman},
title = {On Signatures and Authentication},
booktitle = {Advances in Cryptology: Proceedings of {CRYPTO} '82, Santa Barbara,
California, USA, August 23-25, 1982},
pages = {211--215},
publisher = {Plenum Press, New York},
year = {1982},
url = {https://doi.org/10.1007/978-1-4757-0602-4\_20},
doi = {10.1007/978-1-4757-0602-4\_20},
timestamp = {Thu, 25 Jul 2019 12:26:02 +0200},
biburl = {https://dblp.org/rec/conf/crypto/YaoMG82.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}
}
@inproceedings{DBLP:conf/focs/GoldwasserMT82,
author = {Shafi Goldwasser and
Silvio Micali and
Po Tong},
title = {Why and How to Establish a Private Code on a Public Network (Extended
Abstract)},
booktitle = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
Illinois, USA, 3-5 November 1982},
pages = {134--144},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {https://doi.org/10.1109/SFCS.1982.100},
doi = {10.1109/SFCS.1982.100},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GoldwasserMT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GalilMG82,
author = {Zvi Galil and
Silvio Micali and
Harold N. Gabow},
title = {Priority Queues with Variable Priority and an {O(EV} log {V)} Algorithm
for Finding a Maximal Weighted Matching in General Graphs},
booktitle = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
Illinois, USA, 3-5 November 1982},
pages = {255--261},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {https://doi.org/10.1109/SFCS.1982.36},
doi = {10.1109/SFCS.1982.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GalilMG82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GoldwasserM82,
author = {Shafi Goldwasser and
Silvio Micali},
editor = {Harry R. Lewis and
Barbara B. Simons and
Walter A. Burkhard and
Lawrence H. Landweber},
title = {Probabilistic Encryption and How to Play Mental Poker Keeping Secret
All Partial Information},
booktitle = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1982, San Francisco, California, {USA}},
pages = {365--377},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800070.802212},
doi = {10.1145/800070.802212},
timestamp = {Wed, 14 Nov 2018 10:51:38 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GoldwasserM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Micali81,
author = {Silvio Micali},
title = {Two-Way Deterministic Finite Automata are Exponentially More Succinct
Than Sweeping Automata},
journal = {Inf. Process. Lett.},
volume = {12},
number = {2},
pages = {103--105},
year = {1981},
url = {https://doi.org/10.1016/0020-0190(81)90012-0},
doi = {10.1016/0020-0190(81)90012-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Micali81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BohmM80,
author = {Corrado B{\"{o}}hm and
Silvio Micali},
title = {Minimal Forms in lambda-Calculus Computations},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {165--171},
year = {1980},
url = {https://doi.org/10.2307/2273363},
doi = {10.2307/2273363},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BohmM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MicaliV80,
author = {Silvio Micali and
Vijay V. Vazirani},
title = {An O(sqrt({\(\vert\)}v{\(\vert\)}) {\(\vert\)}E{\(\vert\)}) Algorithm
for Finding Maximum Matching in General Graphs},
booktitle = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
New York, USA, 13-15 October 1980},
pages = {17--27},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SFCS.1980.12},
doi = {10.1109/SFCS.1980.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MicaliV80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-08-21 21:28 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:
