Verifying Confidentiality Under Nondeterminism for Storage Systems
Storage systems must often store confidential data for their users. It is important to ensure that confidentiality of the stored data is maintained in the presence of bugs and malicious adversaries. This thesis tackles this problem using formal verification, a technique that involves proving a softw...
| מחבר ראשי: | |
|---|---|
| מחברים אחרים: | |
| פורמט: | Thesis |
| יצא לאור: |
Massachusetts Institute of Technology
2023
|
| גישה מקוונת: | https://hdl.handle.net/1721.1/150298 |