Micali, Silvio

How to play ANY mental game

Goldreich, O., Micali, S., & Wigderson, A. (1987) · Proceedings of the nineteenth annual ACM conference on Theory of computing - STOC '87

Cryptography and Data SecurityGame Theory and Applications

Cited by 3,590

The knowledge complexity of interactive proof systems

Goldwasser, S., Micali, S., & Rackoff, C. (1989) · SIAM Journal on Computing

Cryptography and Data SecurityComplexity and Algorithms in Graphs

Cited by 3,285

Algorand: Scaling Byzantine Agreements for Cryptocurrencies

Gilad, Y., Hemo, R., Micali, S., Vlachos, G., & Zeldovich, N. (2017) · Proceedings of the 26th Symposium on Operating Systems Principles

Blockchain Technology Applications and SecurityDistributed systems and fault tolerance

Cited by 1,499

Non-interactive zero-knowledge and its applications

Blum, M., Feldman, P., & Micali, S. (1988) · Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88

Cryptography and Data SecurityAdvanced Authentication Protocols Security

Cited by 904

Computationally sound proofs

Micali, S. (2000) · SIAM Journal on Computing

Complexity and Algorithms in GraphsComputability, Logic, AI Algorithms

Cited by 424