dblp.uni-trier.dewww.uni-trier.de

Silvio Micali Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
109EEJing Chen, Silvio Micali: A new approach to auctions and resilient mechanism design. STOC 2009: 503-512
108EESilvio Micali, Abhi Shelat: Purely Rational Secret Sharing (Extended Abstract). TCC 2009: 54-71
2008
107EEMoses Liskov, Silvio Micali: Online-Untransferable Signatures. Public Key Cryptography 2008: 248-267
106EESergei Izmalkov, Matt Lepinski, Silvio Micali: Verifiably Secure Devices. TCC 2008: 273-301
2006
105EESilvio Micali, Rafael Pass, Alon Rosen: Input-Indistinguishable Computation. FOCS 2006: 367-378
104EERosario Gennaro, Silvio Micali: Independent Zero-Knowledge Sets. ICALP (2) 2006: 34-45
103EESilvio Micali, Rafael Pass: Local zero knowledge. STOC 2006: 306-315
2005
102EESergei Izmalkov, Silvio Micali, Matt Lepinski: Rational Secure Computation and Ideal Mechanism Design. FOCS 2005: 585-595
101EEMatt Lepinski, Silvio Micali, Abhi Shelat: Collusion-free protocols. STOC 2005: 543-552
100EESilvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson: Optimal Error Correction Against Computationally Bounded Noise. TCC 2005: 1-16
99EEMatt Lepinski, Silvio Micali, Abhi Shelat: Fair-Zero Knowledge. TCC 2005: 245-263
2004
98EEAnna Lysyanskaya, Silvio Micali, Leonid Reyzin, Hovav Shacham: Sequential Aggregate Signatures from Trapdoor Permutations. EUROCRYPT 2004: 74-90
97EEMatt Lepinski, Silvio Micali, Chris Peikert, Abhi Shelat: Completely fair SFE and coalition-safe cheap talk. PODC 2004: 1-10
96EERosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali, Tal Rabin: Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering. TCC 2004: 258-277
95EESilvio Micali, Leonid Reyzin: Physically Observable Cryptography (Extended Abstract). TCC 2004: 278-296
2003
94EEJonathan Herzog, Moses Liskov, Silvio Micali: Plaintext Awareness via Key Registration. CRYPTO 2003: 548-564
93EEMarkus Jakobsson, Frank Thomson Leighton, Silvio Micali, Michael Szydlo: Fractal Merkle Tree Representation and Traversal. CT-RSA 2003: 314-326
92EESilvio Micali, Michael O. Rabin, Joe Kilian: Zero-Knowledge Sets. FOCS 2003: 80-91
91EESilvio Micali: Simple and fast optimistic protocols for fair electronic exchange. PODC 2003: 12-19
2002
90EESilvio Micali, Ronald L. Rivest: Micropayments Revisited. CT-RSA 2002: 149-163
89EESilvio Micali, Ronald L. Rivest: Transitive Signature Schemes. CT-RSA 2002: 236-243
88EESilvio Micali, Leonid Reyzin: Improving the Exact Security of Digital Signature Schemes. J. Cryptology 15(1): 1-18 (2002)
2001
87EESilvio Micali, Kazuo Ohta, Leonid Reyzin: Accountable-subgroup multisignatures: extended abstract. ACM Conference on Computer and Communications Security 2001: 245-254
86EEMoses Liskov, Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Adam Smith: Mutually Independent Commitments. ASIACRYPT 2001: 385-401
85EESilvio Micali, Leonid Reyzin: Soundness in the Public-Key Model. CRYPTO 2001: 542-565
84EESilvio Micali, Leonid Reyzin: Min-round Resettable Zero-Knowledge in the Public-Key Model. EUROCRYPT 2001: 373-393
83EEMihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali: Identification Protocols Secure against Reset Attacks. EUROCRYPT 2001: 495-511
82EEMoses Liskov, Silvio Micali: Amortized E-Cash. Financial Cryptography 2001: 1-20
2000
81EEYevgeniy Dodis, Silvio Micali: Parallel Reducibility for Information-Theoretically Secure Computation. CRYPTO 2000: 74-92
80EEMihir Bellare, Alexandra Boldyreva, Silvio Micali: Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements. EUROCRYPT 2000: 259-274
79EERan Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali: Resettable zero-knowledge (extended abstract). STOC 2000: 235-244
78 Joe Kilian, Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky: Reducibility and Completeness in Private Computations. SIAM J. Comput. 29(4): 1189-1208 (2000)
77EESilvio Micali: Computationally Sound Proofs. SIAM J. Comput. 30(4): 1253-1298 (2000)
1999
76EESilvio Micali, Leonid Reyzin: Improving the Exact Security of Fiat-Shamir Signature Schemes. CQRE 1999: 167-182
75EEAmos Beimel, Tal Malkin, Silvio Micali: The All-or-Nothing Nature of Two-Party Secure Computation. CRYPTO 1999: 80-97
74EEChristian Cachin, Silvio Micali, Markus Stadler: Computationally Private Information Retrieval with Polylogarithmic Communication. EUROCRYPT 1999: 402-414
73EEYevgeniy Dodis, Silvio Micali: Lower Bounds for Oblivious Transfer Reductions. EUROCRYPT 1999: 42-55
72EESilvio Micali, Michael O. Rabin, Salil P. Vadhan: Verifiable Random Functions. FOCS 1999: 120-130
71EEOded Goldreich, Shafi Goldwasser, Silvio Micali: Interleaved Zero-Knowledge in the Public-Key Model. Electronic Colloquium on Computational Complexity (ECCC) 6(24): (1999)
70EERan Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali: Resettable Zero-Knowledge. Electronic Colloquium on Computational Complexity (ECCC)(42): (1999)
1998
69EESilvio Micali: Computationally-Sound Checkers. MFCS 1998: 94-116
1997
68 Pesech Feldman, Silvio Micali: An Optimal Probabilistic Protocol for Synchronous Byzantine Agreement. SIAM J. Comput. 26(4): 873-933 (1997)
1996
67EEShai Halevi, Silvio Micali: Practical and Provably-Secure Commitment Schemes from Collision-Free Hashing. CRYPTO 1996: 201-215
66 Shimon Even, Oded Goldreich, Silvio Micali: On-Line/Off-Line Digital Signatures. J. Cryptology 9(1): 35-67 (1996)
65 Michael J. Fischer, Silvio Micali, Charles Rackoff: A Secure Protocol for the Oblivious Transfer (Extended Abstract). J. Cryptology 9(3): 191-195 (1996)
1995
64EESilvio Micali, Ray Sidney: A Simple Method for Generating and Sharing Pseudo-Random Functions, with Applications to Clipper-like Escrow Systems. CRYPTO 1995: 185-196
63EERosario Gennaro, Silvio Micali: Verifiable Secret Sharing as Secure Computation. EUROCRYPT 1995: 168-182
1994
62 Silvio Micali: CS Proofs (Extended Abstracts) FOCS 1994: 436-453
61 Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky: Reducibility and Completeness in Multi-Party Private Computations FOCS 1994: 478-489
1993
60EEFrank Thomson Leighton, Silvio Micali: Secret-Key Agreement without Public-Key Cryptography. CRYPTO 1993: 456-479
1992
59EESilvio Micali: Fair Public-Key Cryptosystems. CRYPTO 1992: 113-138
58EEMihir Bellare, Silvio Micali: How to Sign Given Any Trapdoor Permutation. J. ACM 39(1): 214-233 (1992)
1991
57EESilvio Micali, Phillip Rogaway: Secure Computation (Abstract). CRYPTO 1991: 392-404
56EEOded Goldreich, Silvio Micali, Avi Wigderson: Proofs that Yield Nothing But Their Validity for All Languages in NP Have Zero-Knowledge Proof Systems. J. ACM 38(3): 691-729 (1991)
55 Silvio Micali, Claus-Peter Schnorr: Efficient, Perfect Polynomial Random Number Generators. J. Cryptology 3(3): 157-172 (1991)
54 Manuel Blum, Alfredo De Santis, Silvio Micali, Giuseppe Persiano: Noninteractive Zero-Knowledge. SIAM J. Comput. 20(6): 1084-1118 (1991)
1990
53EESilvio Micali, Tal Rabin: Collective Coin Tossing Without Assumptions nor Broadcasting. CRYPTO 1990: 253-266
52 Mihir Bellare, Silvio Micali, Rafail Ostrovsky: Perfect Zero-Knowledge in Constant Rounds STOC 1990: 482-493
51 Mihir Bellare, Silvio Micali, Rafail Ostrovsky: The (True) Complexity of Statistical Zero Knowledge STOC 1990: 494-502
50 Donald Beaver, Silvio Micali, Phillip Rogaway: The Round Complexity of Secure Protocols (Extended Abstract) STOC 1990: 503-513
49 Michael Ben-Or, Oded Goldreich, Silvio Micali, Ronald L. Rivest: A fair protocol for signing contracts. IEEE Transactions on Information Theory 36(1): 40-46 (1990)
1989
48EEShimon Even, Oded Goldreich, Silvio Micali: On-Line/Off-Line Digital Schemes. CRYPTO 1989: 263-275
47EEJoe Kilian, Silvio Micali, Rafail Ostrovsky: Minimum Resource Zero-Knowledge Proofs (Extended Abstract). CRYPTO 1989: 545-546
46EEMihir Bellare, Silvio Micali: Non-Interactive Oblivious Transfer and Spplications. CRYPTO 1989: 547-557
45 Joe Kilian, Silvio Micali, Rafail Ostrovsky: Minimum Resource Zero-Knowledge Proofs (Extended Abstract) FOCS 1989: 474-479
44EEPaul Feldman, Silvio Micali: An Optimal Probabilistic Algorithm For Synchronous Byzantine Agreement. ICALP 1989: 341-378
43 Silvio Micali: "Perfect" Pseudo-Random Number Generation. IFIP Congress 1989: 121-126
42 Shafi Goldwasser, Silvio Micali, Charles Rackoff: The Knowledge Complexity of Interactive Proof Systems. SIAM J. Comput. 18(1): 186-208 (1989)
1988
41EESilvio Micali, Claus-Peter Schnorr: Efficient, Perfect Random Number Generators. CRYPTO 1988: 173-198
40EEMihir Bellare, Silvio Micali: How To Sign Given Any Trapdoor Function. CRYPTO 1988: 200-215
39EESilvio Micali, Adi Shamir: An Improvement of the Fiat-Shamir Identification and Signature Scheme. CRYPTO 1988: 244-247
38EEManuel Blum, Paul Feldman, Silvio Micali: Proving Security Against Chosen Cyphertext Attacks. CRYPTO 1988: 256-268
37EEAlfredo De Santis, Silvio Micali, Giuseppe Persiano: Non-Interactive Zero-Knowledge with Preprocessing. CRYPTO 1988: 269-282
36EEMichael Ben-Or, Oded Goldreich, Shafi Goldwasser, Johan Håstad, Joe Kilian, Silvio Micali, Phillip Rogaway: Everything Provable is Provable in Zero-Knowledge. CRYPTO 1988: 37-56
35 Manuel Blum, Paul Feldman, Silvio Micali: Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract) STOC 1988: 103-112
34 Paul Feldman, Silvio Micali: Optimal Algorithms for Byzantine Agreement STOC 1988: 148-161
33 Mihir Bellare, Silvio Micali: How to Sign Given Any Trapdoor Function (Extended Abstract) STOC 1988: 32-42
32 Shafi Goldwasser, Silvio Micali, Ronald L. Rivest: A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks. SIAM J. Comput. 17(2): 281-308 (1988)
31 Silvio Micali, Charles Rackoff, Bob Sloan: The Notion of Security for Probabilistic Cryptosystems. SIAM J. Comput. 17(2): 412-426 (1988)
1987
30EEAlfredo De Santis, Silvio Micali, Giuseppe Persiano: Non-Interactive Zero-Knowledge Proof Systems. CRYPTO 1987: 52-72
29 Oded Goldreich, Silvio Micali, Avi Wigderson: How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority STOC 1987: 218-229
1986
28EEOded Goldreich, Silvio Micali, Avi Wigderson: How to Prove all NP-Statements in Zero-Knowledge, and a Methodology of Cryptographic Protocol Design. CRYPTO 1986: 171-185
27EESilvio Micali, Charles Rackoff, Bob Sloan: The Notion of Security for Probabilistic Cryptosystems. CRYPTO 1986: 381-392
26 Oded Goldreich, Silvio Micali, Avi Wigderson: Proofs that Yield Nothing But their Validity and a Methodology of Cryptographic Protocol Design (Extended Abstract) FOCS 1986: 174-187
25 Baruch Awerbuch, Silvio Micali: Dynamic deadlock resolution protocols (Extended Abstract) FOCS 1986: 196-207
24EEOded Goldreich, Silvio Micali, Avi Wigderson: Proofs that Release Minimum Knowledge. MFCS 1986: 639-650
23 Silvio Micali: Knowledge and Efficient Computation. TARK 1986: 353-362
22EEOded Goldreich, Shafi Goldwasser, Silvio Micali: How to construct random functions. J. ACM 33(4): 792-807 (1986)
21 Zvi Galil, Silvio Micali, Harold N. Gabow: An O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs. SIAM J. Comput. 15(1): 120-130 (1986)
1985
20 Paul Feldman, Silvio Micali: Byzantine Agreement in Constant Expected Time (and Trusting No One) FOCS 1985: 267-276
19 Benny Chor, Shafi Goldwasser, Silvio Micali, Baruch Awerbuch: Verifiable Secret Sharing and Achieving Simultaneity in the Presence of Faults (Extended Abstract) FOCS 1985: 383-395
18EEMichael Ben-Or, Oded Goldreich, Silvio Micali, Ronald L. Rivest: A Fair Protocol for Signing Contracts (Extended Abstract). ICALP 1985: 43-52
17 Shafi Goldwasser, Silvio Micali, Charles Rackoff: The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract) STOC 1985: 291-304
1984
16EEOded Goldreich, Shafi Goldwasser, Silvio Micali: On the Cryptographic Applications of Random Functions. CRYPTO 1984: 276-288
15EEShafi Goldwasser, Silvio Micali, Ronald L. Rivest: A "Paradoxical'"Solution to the Signature Problem (Abstract). CRYPTO 1984: 467
14 Shafi Goldwasser, Silvio Micali, Ronald L. Rivest: A ``Paradoxical'' Solution to the Signature Problem (Extended Abstract) FOCS 1984: 441-448
13 Oded Goldreich, Shafi Goldwasser, Silvio Micali: How to Construct Random Functions (Extended Abstract) FOCS 1984: 464-479
12 Shafi Goldwasser, Silvio Micali: Probabilistic Encryption. J. Comput. Syst. Sci. 28(2): 270-299 (1984)
11 Manuel Blum, Silvio Micali: How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits. SIAM J. Comput. 13(4): 850-864 (1984)
1983
10 Michael Luby, Silvio Micali, Charles Rackoff: How to Simultaneously Exchange a Secret Bit by Flipping a Symmetrically-Biased Coin FOCS 1983: 11-21
9 Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao: Strong Signature Schemes STOC 1983: 431-439
1982
8 Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao: On Signatures and Authentication. CRYPTO 1982: 211-215
7 Manuel Blum, Silvio Micali: How to Generate Cryptographically Strong Sequences of Pseudo Random Bits FOCS 1982: 112-117
6 Shafi Goldwasser, Silvio Micali, Po Tong: Why and How to Establish a Private Code on a Public Network (Extended Abstract) FOCS 1982: 134-144
5 Zvi Galil, Silvio Micali, Harold N. Gabow: Priority Queues with Variable Priority and an O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs FOCS 1982: 255-261
4 Shafi Goldwasser, Silvio Micali: Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information STOC 1982: 365-377
1981
3 Silvio Micali: Two-Way Deterministic Finite Automata are Exponentially More Succinct Than Sweeping Automata. Inf. Process. Lett. 12(2): 103-105 (1981)
1980
2 Silvio Micali, Vijay V. Vazirani: An O(sqrt(|v|) |E|) Algorithm for Finding Maximum Matching in General Graphs FOCS 1980: 17-27
1 Corrado Böhm, Silvio Micali: Minimal Forms in lambda-Calculus Computations. J. Symb. Log. 45(1): 165-171 (1980)

Coauthor Index

1Baruch Awerbuch [19] [25]
2Donald Beaver [50]
3Amos Beimel [75]
4Mihir Bellare [33] [40] [46] [51] [52] [58] [80] [83]
5Michael Ben-Or [18] [36] [49]
6Manuel Blum [7] [11] [35] [38] [54]
7Corrado Böhm [1]
8Alexandra Boldyreva [80]
9Christian Cachin [74]
10Ran Canetti [70] [79]
11Jing Chen [109]
12Benny Chor [19]
13Yevgeniy Dodis [73] [81]
14Shimon Even [48] [66]
15Paul Feldman [20] [34] [35] [38] [44]
16Pesech Feldman [68]
17Michael J. Fischer [65]
18Marc Fischlin [83]
19Harold N. Gabow [5] [21]
20Zvi Galil [5] [21]
21Rosario Gennaro [63] [96] [104]
22Oded Goldreich [13] [16] [18] [22] [24] [26] [28] [29] [36] [48] [49] [56] [66] [70] [71] [79]
23Shafi Goldwasser [4] [6] [8] [9] [12] [13] [14] [15] [16] [17] [19] [22] [32] [36] [42] [70] [71] [79] [83]
24Shai Halevi [67]
25Johan Håstad [36]
26Jonathan Herzog [94]
27Sergei Izmalkov [102] [106]
28Markus Jakobsson [93]
29Joe Kilian [36] [45] [47] [78] [92]
30Eyal Kushilevitz [61] [78]
31Frank Thomson Leighton (Tom Leighton) [60] [93]
32Matt Lepinski [97] [99] [101] [102] [106]
33Moses Liskov [82] [86] [94] [107]
34Michael Luby [10]
35Anna Lysyanskaya [86] [96] [98]
36Tal Malkin [75] [96]
37Kazuo Ohta [87]
38Rafail Ostrovsky [45] [47] [51] [52] [61] [78]
39Rafael Pass [103] [105]
40Chris Peikert [97] [100]
41Giuseppe Persiano (Pino Persiano) [30] [37] [54]
42Michael O. Rabin [72] [92]
43Tal Rabin [53] [96]
44Charles Rackoff [10] [17] [27] [31] [42] [65]
45Leonid Reyzin [76] [84] [85] [86] [87] [88] [95] [98]
46Ronald L. Rivest [14] [15] [18] [32] [49] [89] [90]
47Phillip Rogaway [36] [50] [57]
48Alon Rosen [105]
49Alfredo De Santis [30] [37] [54]
50Claus-Peter Schnorr [41] [55]
51Hovav Shacham [98]
52Adi Shamir [39]
53Abhi Shelat [97] [99] [101] [108]
54Ray Sidney [64]
55Bob Sloan [27] [31]
56Adam Smith [86]
57Markus Stadler [74]
58Madhu Sudan [100]
59Michael Szydlo [93]
60Po Tong [6]
61Salil P. Vadhan [72]
62Vijay V. Vazirani [2]
63Avi Wigderson [24] [26] [28] [29] [56]
64David A. Wilson [100]
65Andrew Chi-Chih Yao [8] [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)