Concepedia

Charanjit S. Jutla

CS

25

Publications

3K

Citations

20

H-Index

1988

Active since

Affiliations

IBM (United States)(Current)

The University of Texas at Austin

IBM Research - Thomas J. Watson Research Center

Eindhoven University of Technology

University of California San Diego

Charanjit S. Jutla is an author at IBM (United States) specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationCryptographyFormal MethodsData PrivacyData SecurityAutomated ReasoningInformation SecurityComputational Complexity

Publications per year

1988–2019

25

Publications

25

Tree automata, mu-calculus and determinacy

E. Allen Emerson, Charanjit S. Jutla · 2002 · 729 citations

Theory Of Computing, Tree Automata, Tree Language +13

Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation

David M. Cash, Joseph Jaeger, Stanisław Jarecki et al. · 2014 · 669 citations

Engineering, Information Security, Hardware Security +22

The complexity of tree automata and logics of programs

E. Allen Emerson, Charanjit S. Jutla · 1988 · 296 citations

Theory Of Computing, Tree Automata, Engineering +14

Outsourced symmetric private information retrieval

Stanisław Jarecki, Charanjit S. Jutla, Hugo Krawczyk et al. · 2013 · 228 citations

Engineering, Information Security, Data-centric Security +19

Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)

E. Allen Emerson, Charanjit S. Jutla · 1991 · 192 citations

Rows per page

1–5 of 25