Browsing Doctoral Theses by Author "Ileri, Atalay Mert"

Now showing items 1-1 of 1

    • Verifying Confidentiality Under Nondeterminism for Storage Systems 

      Ileri, Atalay Mert (Massachusetts Institute of Technology, 2023-02)
      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 ...