Atalay Mert Ileri

According to our database, Atalay Mert Ileri authored at least 11 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Atalay Mert Ileri, Hande McGinty

Proceedings of the ISWC 2024 Posters, 2024

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

Atalay Mert Ileri, Nickolai Zeldovich, Adam Chlipala, M. Frans Kaashoek

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Verifying Confidentiality Under Nondeterminism for Storage Systems

Atalay Mert Ileri

PhD thesis, 2023

2020

Optimizing Query Predicates with Disjunctions for Column Stores.

Albert Kim, Atalay Mert Ileri, Sam Madden

CoRR, 2020

2018

Proving confidentiality in a file system using DiskSec.

Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

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

Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016

Coinami: A Cryptocurrency with DNA Sequence Alignment as Proof-of-work.

Atalay Mert Ileri, Halil I. Ozercan, Alper Gundogdu, Ahmet K. Senol, M. Yusuf Özkaya, Can Alkan

CoRR, 2016

Mechanisms With Costly Knowledge.

Atalay Mert Ileri, Silvio Micali

Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, 2016

2015

A simple yet time-optimal and linear-space algorithm for shortest unique substring queries.

Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu

Theor. Comput. Sci., 2015

On Longest Repeat Queries.

Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu

CoRR, 2015

2014

Shortest Unique Substring Query Revisited.

Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu

Proceedings of the Combinatorial Pattern Matching - 25th Annual Symposium, 2014