Risultati di ricerca
2 lug 2024 · Computer Sciences. Elected. 2001. Recognized world leader in the fields of cryptography, complexity theory, and computational number theory. She has a rich research record and is particularly noted for her pioneering work on interactive and zero-knowledge proofs and their connection to the hardness of approximation.
1 lug 2024 · Shafi Goldwasser, Silvio Micali, and Chales Rackoff. 2019. The knowledge complexity of interactive proof-systems. In Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, Oded Goldreich (Ed.). 203–225.
4 giorni fa · Shafi Goldwasser was the 2012 Turing award recipient for her collaborative work in cryptography. The Association for Computing Machinery Turing Award, sometimes referred to as the "Nobel Prize" of computing, was named in honor of Alan Turing. This award has been won by three women between 1966 and 2015. 2006 – Frances "Fran ...
19 giu 2024 · This paper proposes a theoretically-founded solution to this problem: to train Self-Proving models that prove the correctness of their output to a verification algorithm V via an Interactive Proof. We devise a generic method for learning Self-Proving models, and we prove convergence bounds under certain assumptions.
3 giorni fa · This concept was first introduced in the 1980s by researchers Shafi Goldwasser, Silvio Micali, and Charles Rackoff, who demonstrated that it was possible to prove the correctness of a computation without revealing the computation itself (MIT CSAIL Theory of Computation) . Happy Hour
3 giorni fa · Shafi Goldwasser, Silvio Micali, and Ronald Rivest publish a paper providing a rigorous definition and security requirements for digital signature schemes. The work [ 2 ] is pivotal in formalizing the security properties that digital signature schemes should possess, including unforgeability under chosen-message attacks.
2 giorni fa · Shafi Goldwasser, Ofer Grossman, Sidhanth Mohanty, and David P. Woodruff. Pseudo-Deterministic Streaming. In Proc. 20th Conference on Innovations in Theoretical Computer Science, volume 151, pages 79:1-79:25, 2020.
