C
Charanjit S. Jutla
Researcher at IBM
Publications - 119
Citations - 6554
Charanjit S. Jutla is an academic researcher from IBM. The author has contributed to research in topics: Encryption & Block cipher. The author has an hindex of 34, co-authored 116 publications receiving 6148 citations.
Papers
More filters
Patent
Method and apparatus for the secure distributed storage and retrieval of information
TL;DR: In this paper, the authors propose a solution to the general problem of secure storage and retrieval of information (SSRI) which guarantees that also the process of storing the information is correct even when some processors fail.
Book ChapterDOI
Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries
David Cash,Stanislaw Jarecki,Charanjit S. Jutla,Hugo Krawczyk,Marcel-Catalin Rosu,Michael Steiner +5 more
TL;DR: This work presents the design and analysis of the first searchable symmetric encryption (SSE) protocol that supports conjunctive search and general Boolean queries on outsourced symmetrically- encrypted data and that scales to very large databases and arbitrarily-structured data including free text search.
Proceedings ArticleDOI
Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation
David Cash,Joseph Jaeger,Stanislaw Jarecki,Charanjit S. Jutla,Hugo Krawczyk,Marcel-Catalin Rosu,Michael Steiner +6 more
TL;DR: In this article, a dynamic symmetric searchable encryption (SSE) scheme was proposed to search server-held encrypted databases with tens of billions of record-keyword pairs.
Book ChapterDOI
On Model-Checking for Fragments of µ-Calculus
TL;DR: It is shown that the logic L2 is as expressive as ECTL* given in [13], and the model checking problem for the μ-calculus is equivalent to the non-emptiness problem of parity tree automata.
Proceedings Article
Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)
TL;DR: The propositional Mu-Calculus is equivalent in expressive power to finite automata on infinite trees and provides a radically simplified, alternative proof of Rabin's complementation lemma for tree automata, which is the heart of one of the deepest decidability results.