Charanjit S. Jutla - Concepedia

Author

Charanjit S. Jutla

IBM (United States)

Also Known As

C. Jutla, C. S. Jutla, C.S. Jutla, Charanjit Jutla, Charanjit S. Jutla, Jutla, Charanjit

106

Publications

6.8K

Citations

H-Index

Concepts

All Affiliations

IBM (United States)The University of Texas at Austin IBM Research - Thomas J. Watson Research Center Eindhoven University of Technology University of California San Diego

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	17	2.7K
2	Computer Science	12	12	2.4K
3	Business	2	2	37
4	Cognitive Science	1	1	12
5	Computer Engineering	1	1	26

Charanjit S. Jutla

Publications

Citations

H-Index

Page 1

	Year	Citations
Tree automata, mu-calculus and determinacy E. Allen Emerson, Charanjit S. Jutla Theory Of ComputingTree AutomataTree LanguageEngineeringAutomated Reasoning	2002	729
Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation David M. Cash, Joseph Jaeger, Stanisław Jarecki, EngineeringInformation SecurityHardware SecurityInformation RetrievalData Science	2014	669
The complexity of tree automata and logics of programs E. Allen Emerson, Charanjit S. Jutla Theory Of ComputingTree AutomataEngineeringAutomated ReasoningPropositional Logic	1988	296
Outsourced symmetric private information retrieval Stanisław Jarecki, Charanjit S. Jutla, Hugo Krawczyk, EngineeringInformation SecurityData-centric SecuritySearchable Symmetric EncryptionInformation Retrieval	2013	228
Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) E. Allen Emerson, Charanjit S. Jutla	1991	192
The Complexity of Tree Automata and Logics of Programs E. Allen Emerson, Charanjit S. Jutla SIAM Journal on Computing Tree AutomataEngineeringAutomated ReasoningPropositional LogicProof Complexity	1999	136
On model checking for the μ-calculus and its fragments E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla Theoretical Computer Science EngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided Verification	2001	102
Encryption Modes with Almost Free Message Integrity Charanjit S. Jutla Journal of Cryptology Cryptographic PrimitiveEngineeringEncryption ModesInformation SecurityCryptographic Protection	2008	98
Secure distributed storage and retrieval Juan A. Garay, Rosario Gennaro, Charanjit S. Jutla, Theoretical Computer Science EngineeringEncrypted StorageInformation SecurityData PrivacyStorage Security	2000	93
The Complexity of Tree Automata and Logics of Programs (Extended Abstract) E. Allen Emerson, Charanjit S. Jutla Foundations of Computer Science Tree AutomataEngineeringVerificationComputational ComplexitySoftware Analysis	1988	69

Page 1