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...

תיאור מלא

מידע ביבליוגרפי
מחבר ראשי: Ileri, Atalay Mert
מחברים אחרים: Kaashoek, M. Frans
פורמט: Thesis
יצא לאור: Massachusetts Institute of Technology 2023
גישה מקוונת:https://hdl.handle.net/1721.1/150298