Author: "Atalay, Mert" / Publication Type: Conference Materials - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Atalay, Mert"' showing total 6 results

Start Over Author "Atalay, Mert" Publication Type Conference Materials

6 results on '"Atalay, Mert"'

1. Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism.

Author: Atalay Mert Ileri, Nickolai Zeldovich, Adam Chlipala, and M. Frans Kaashoek
Published: 2024
Full Text: View/download PDF

2. VEL: A Formally Verified Reasoner for EL++ Description Logic.

Author: Atalay Mert Ileri and Hande McGinty
Published: 2024

3. Proving confidentiality in a file system using DiskSec.

Author: Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich
Published: 2018

4. Verifying a high-performance crash-safe file system using a tree specification.

Author: Haogang Chen 0001, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich
Published: 2017
Full Text: View/download PDF

5. Mechanisms With Costly Knowledge.

Author: Atalay Mert Ileri and Silvio Micali
Published: 2016
Full Text: View/download PDF

6. Shortest Unique Substring Query Revisited.

Author: Atalay Mert Ileri, M. Oguzhan Külekci, and Bojian Xu
Published: 2014
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results