Theses most similar to those of author Ostrovsky, Rafail
Software protection and simulation on oblivious RAMs (1992) read it
Computational soundness for standard assumptions of formal cryptography
Herzog, Jonathan, 1975- (2004)
- Advisor: Ronald L. Rivest
- Department of Electrical Engineering and Computer Science
- Advisor: Ronald L. Rivest
- Department of Electrical Engineering and Computer Science
Towards constant bandwidth overhead integrity checking of untrusted data
Clarke, Dwaine E. (Dwaine Errol), 1976- (2005)
- Advisor: Srinivas Devadas
- Department of Electrical Engineering and Computer Science
- Advisor: Silvio Micali
- Department of Electrical Engineering and Computer Science
- Advisor: Silvio Micali
- Department of Mathematics
- Advisor: Silvio Micali
- Department of Electrical Engineering and Computer Science
Incrementally verifiable computation or knowledge implies time/space efficiency
Valiant, Paul (Paul Andrew) (2007)
- Advisor: Silvio Micali
- Department of Electrical Engineering and Computer Science
- Advisor: Silvio Micali
- Department of Electrical Engineering and Computer Science
- Advisor: Ronald L. Rivest
- Department of Electrical Engineering and Computer Science
- Advisor: Shafi Goldwasser
- Department of Mathematics