- Authenticated Disk Key-Value Stores
- Project Year:
2020
- REU Student (s):
Akif Patel | Rutgers University-New Brunswick NJ
- Student 1 Institution:
Rutgers University-New Brunswick
- Project Mentor:
Martin Farach-Colton
- Project Mentor Area:
Computer Science
- Project Abstract:
Security enclaves are sections of chips that run trusted and verified code that cannot be accessed by other parts of the computer. If code running on an enclave would like to use a key-value store that is stored on the disk, it will have to go through the untrusted main OS. We investigated how to verify integrity and maintain secrecy with regards to this key-value store that the enclave is using. We first showed how to do it in the case when our data structure is a tree. Then, we used this idea to construct a faster set membership proof on disk. Finally, we made this construction write optimized using ideas drawn from Bε-trees.
