3 ms·
Some of Yael's most prominent works include the original paper on ring signatures [1], some important results around the Fiat-Shamir paradigm for signatures [2]
by matthewdgreen 3y ago
Some of Yael's most prominent works include the original paper on ring signatures [1], some important results around the Fiat-Shamir paradigm for signatures [2], the invention of One-Time Programs [3], some important work on interactive proofs [4], and a bunch of early fundamental (negative) results on obfuscation [5].
And these are just the things that spring to mind immediately, nowhere near the majority of her output.
[1] https://people.csail.mit.edu/rivest/pubs/RST01.pdf https://people.csail.mit.edu/rivest/pubs/RST01.pdf
[2] https://eprint.iacr.org/2003/034.pdf https://eprint.iacr.org/2003/034.pdf
[3] https://www.semanticscholar.org/paper/One-Time-Programs-Goldwasser-Kalai/042e104673c09f7085e0c1bd2ed969fdad308002 https://www.semanticscholar.org/paper/One-Time-Programs-Gold...
[4] https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/2008-DelegatingComputation.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...
[5] https://arxiv.org/abs/1401.0348 https://arxiv.org/abs/1401.0348
- cryptonector 3y agoOne-time programs are very interesting. They depend on specialized hardware (not surprising), but we already have precedent for such hardware, like TPMs. As usual, this would have uses like DRM, but also lots of other uses that most users will be more interested in.