Showing 1 - 3 results of 3 for search 'İleri, Atalay', query time: 0.02s Refine Results
  1. 1
    Verifying Confidentiality Under Nondeterminism for Storage Systems

    Verifying Confidentiality Under Nondeterminism for Storage Systems by Ileri, Atalay Mert

    Published 2023
    Get full text
    Thesis
  2. 2
    Mechanisms with costly knowledge

    Mechanisms with costly knowledge by Ileri, Atalay M. (Atalay Mert)

    Published 2016
    Get full text
    Thesis
  3. 3
    Verifying a high-performance crash-safe file system using a tree specification

    Verifying a high-performance crash-safe file system using a tree specification by Chen, Haogang, Chajed, Tej, Konradi, Alex, Wang, Stephanie, İleri, Atalay, Chlipala, Adam, Kaashoek, M. Frans, Zeldovich, Nickolai

    Published 2021
    Get full text
    Article

Search Tools: