The Complexity of Tree Automata and Logics of Programs (Extended Abstract) - E. Allen Emerson; Charanjit S. Jutla (FOCS, 1988)

On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract) - E. Allen Emerson; Charanjit S. Jutla (LICS, 1989)

A Predicate Transformer Approach to Semantics of Parallel Programs. - Charanjit S. Jutla; Edgar Knapp; Josyula R. Rao (PODC, 1989)

Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) - E. Allen Emerson; Charanjit S. Jutla (FOCS, 1991)

On Model-Checking for Fragments of µ-Calculus. - E. Allen Emerson; Charanjit S. Jutla; A. Prasad Sistla (CAV, 1993)

Finding Extremal Sets in Less than Quadratic Time. - Daniel M. Yellin; Charanjit S. Jutla (Inf. Process. Lett., 1993)

A Methodology for Designing Proof Rules for Fair Parallel Programs. - Charanjit S. Jutla; Josyula R. Rao (Formal Aspects Comput., 1997)

Determinization and Memoryless Winning Strategies. - Charanjit S. Jutla (Inf. Comput., 1997)

Generalized Birthday Arracks on Unbalanced Feistel Networks. - Charanjit S. Jutla (CRYPTO, 1998)

On Finding Small Solutions of Modular Multivariate Polynomial Equations. - Charanjit S. Jutla (EUROCRYPT, 1998)

VarietyCash: A Multi-Purpose Electronic Payment System. - Mihir Bellare; Juan A. Garay; Charanjit S. Jutla; Moti Yung (USENIX Workshop on Electronic Commerce, 1998)

Towards Sound Approaches to Counteract Power-Analysis Attacks. - Suresh Chari; Charanjit S. Jutla; Josyula R. Rao; Pankaj Rohatgi (CRYPTO, 1999)

The Complexity of Tree Automata and Logics of Programs. - E. Allen Emerson; Charanjit S. Jutla (SIAM J. Comput., 1999)

IBM Comments. - Don Coppersmith; Rosario Gennaro; Shai Halevi; Charanjit S. Jutla; Stephen M. Matyas; Mohammad Peyravian; David Safford; Nevenko Zunic (AES Candidate Conference, 2000)

Secure distributed storage and retrieval. - Juan A. Garay; Rosario Gennaro; Charanjit S. Jutla; Tal Rabin (Theor. Comput. Sci., 2000)

Efficient Rijndael Encryption Implementation with Composite Field Arithmetic. - Atri Rudra; Pradeep K. Dubey; Charanjit S. Jutla; Vijay Kumar; Josyula R. Rao; Pankaj Rohatgi (CHES, 2001)

On model checking for the µ-calculus and its fragments. - E. Allen Emerson; Charanjit S. Jutla; A. Prasad Sistla (Theor. Comput. Sci., 2001)

Cryptanalysis of stream ciphers with linear masking. - Don Coppersmith; Shai Halevi; Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2002)

Scream: a software-efficient stream cipher. - Shai Halevi; Don Coppersmith; Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2002)

Parallelizable Authentication Trees. - William Eric Hall; Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2002)

Tight Lower Bound on Linear Authenticated Encryption. - Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2002)

Lower Bound on Linear Authenticated Encryption. - Charanjit S. Jutla (Selected Areas in Cryptography, 2003)

PRF Domain Extension Using DAGs. - Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2005)

A Simple and Provably Good Code for SHA Message Expansion. - Charanjit S. Jutla; Anindya C. Patthak (IACR Cryptol. ePrint Arch., 2005)

A Matching Lower Bound on the Minimum Weight of SHA-1 Expansion Code. - Charanjit S. Jutla; Anindya C. Patthak (IACR Cryptol. ePrint Arch., 2005)

Is SHA-1 conceptually sound? - Charanjit S. Jutla; Anindya C. Patthak (IACR Cryptol. ePrint Arch., 2005)

A Simple Biased Distribution for Dinur's Construction. - Charanjit S. Jutla (Electron. Colloquium Comput. Complex., 2006)

Utility Sampling for Trust Metrics in PKI. - Dakshi Agrawal; Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2007)

Cryptanalysis of ISO/IEC 9796-1. - Don Coppersmith; Jean-Sébastien Coron; François Grieu; Shai Halevi; Charanjit S. Jutla; David Naccache; Julien P. Stern (J. Cryptol., 2008)

Encryption Modes with Almost Free Message Integrity. - Charanjit S. Jutla (J. Cryptol., 2008)

Almost Optimal Bounds for Direct Product Threshold Theorem. - Charanjit S. Jutla (Electron. Colloquium Comput. Complex., 2009)

Testing low-degree polynomials over prime fields. - Charanjit S. Jutla; Anindya C. Patthak; Atri Rudra; David Zuckerman (Random Struct. Algorithms, 2009)

Provably Good Codes for Hash Function Design. - Charanjit S. Jutla; Anindya C. Patthak (IEEE Trans. Inf. Theory, 2009)

A Completeness Theorem for Pseudo-Linear Functions with Applications to UC Security. - Charanjit S. Jutla; Arnab Roy 001 (Electron. Colloquium Comput. Complex., 2010)

Universally Composable Security Analysis of OAuth v2.0. - Suresh Chari; Charanjit S. Jutla; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2011)

Relatively-Sound NIZKs and Password-Based Key-Exchange. - Charanjit S. Jutla; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2011)

Decision Procedures for Simulatability. - Charanjit S. Jutla; Arnab Roy 001 (ESORICS, 2012)

On the Circuit Complexity of Composite Galois Field Transformations. - Charanjit S. Jutla; Vijay Kumar; Atri Rudra (Electron. Colloquium Comput. Complex., 2012)

PayTree: "Amortized Signature" for Flexible Micro-Payments. - Charanjit S. Jutla; Moti Yung (IACR Cryptol. ePrint Arch., 2012)

Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries. - David Cash; Stanislaw Jarecki; Charanjit S. Jutla; Hugo Krawczyk; Marcel-Catalin Rosu; Michael Steiner 001 (IACR Cryptol. ePrint Arch., 2013)

Optimizing ORAM and Using it Efficiently for Secure Computation. - Craig Gentry; Kenny A. Goldman; Shai Halevi; Charanjit S. Jutla; Mariana Raykova 001; Daniel Wichs (IACR Cryptol. ePrint Arch., 2013)

Outsourced Symmetric Private Information Retrieval. - Stanislaw Jarecki; Charanjit S. Jutla; Hugo Krawczyk; Marcel-Catalin Rosu; Michael Steiner 001 (IACR Cryptol. ePrint Arch., 2013)

Switching Lemma for Bilinear Tests and Constant-size NIZK Proofs for Linear Subspaces. - Charanjit S. Jutla; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2013)

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 001 (IACR Cryptol. ePrint Arch., 2014)

Private Database Access With HE-over-ORAM Architecture. - Craig Gentry; Shai Halevi; Charanjit S. Jutla; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2014)

The Hash Function "Fugue". - Shai Halevi; William Eric Hall; Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2014)

Dual-System Simulation-Soundness with Applications to UC-PAKE and More. - Charanjit S. Jutla; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2014)

Weak Ideal Functionalities for Designing Random Oracles with Applications to Fugue. - Shai Halevi; William Eric Hall; Charanjit S. Jutla; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2015)

Upending Stock Market Structure Using Secure Multi-Party Computation. - Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2015)

Smooth NIZK Arguments with Applications to Asymmetric UC-PAKE. - Charanjit S. Jutla; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2016)

Improved Structure Preserving Signatures under Standard Bilinear Assumptions. - Charanjit S. Jutla; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2017)

Shorter Quasi-Adaptive NIZK Proofs for Linear Subspaces. - Charanjit S. Jutla; Arnab Roy 001 (J. Cryptol., 2017)

Smooth NIZK Arguments. - Charanjit S. Jutla; Arnab Roy 001 (TCC (1), 2018)

Obfuscation using Tensor Products. - Craig Gentry; Charanjit S. Jutla (Electron. Colloquium Comput. Complex., 2018)

Improved (Almost) Tightly-Secure Simulation-Sound QA-NIZK with Applications. - Masayuki Abe; Charanjit S. Jutla; Miyako Ohkubo; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2018)

Authenticated Encryption Mode IAPM using SHA-3's Public Random Permutation. - Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2018)

Improved (Almost) Tightly-Secure Structure-Preserving Signatures. - Charanjit S. Jutla; Miyako Ohkubo; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2018)

Initial Public Offering (IPO) on Permissioned Blockchain Using Secure Multiparty Computation. - Tzipora Halevi; Fabrice Benhamouda; Angelo De Caro; Shai Halevi; Charanjit S. Jutla; Yacov Manevich; Qi Zhang 009 (Blockchain, 2019)

Shorter QA-NIZK and SPS with Tighter Security. - Masayuki Abe; Charanjit S. Jutla; Miyako Ohkubo; Jiaxin Pan 001; Arnab Roy 001; Yuyu Wang 001 (IACR Cryptol. ePrint Arch., 2019)

EM-Side-Channel Resistant Symmetric-Key Authentication Mechanism for Small Devices. - Rick Boivie; Charanjit S. Jutla; Daniel Friedman; Ghavam G. Shahidi (IACR Cryptol. ePrint Arch., 2020)

Modular Lagrange Interpolation of the Mod Function for Bootstrapping for Approximate HE. - Charanjit S. Jutla; Nathan Manohar (IACR Cryptol. ePrint Arch., 2020)

Inflation-Tracking Proof-of-Work Crypto-Currencies. - Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2021)

Sine Series Approximation of the Mod Function for Bootstrapping of Approximate HE. - Charanjit S. Jutla; Nathan Manohar (IACR Cryptol. ePrint Arch., 2021)

Efficient Searchable Symmetric Encryption for Join Queries. - Charanjit S. Jutla; Sikhar Patranabis (IACR Cryptol. ePrint Arch., 2021)

Secure Storage with Deduplication. - John Best; Wayne Hineman; Steven Hetzler; Guerney Hunt; Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2022)

Enhancing Ring-LWE Hardness using Dedekind Index Theorem. - Charanjit S. Jutla; Chengyu Lin 001 (IACR Cryptol. ePrint Arch., 2022)

Improved Stock Market Structure Using Cryptography. - Charanjit S. Jutla; Barry Mishra (IACR Cryptol. ePrint Arch., 2022)

Ring-LWE Hardness Based on Ideals of Hidden Orders of Number Fields. - Charanjit S. Jutla; Chengyu Lin 001 (IACR Cryptol. ePrint Arch., 2023)

A Novel Power-Sum PRG with Applications to Lattice-Based zkSNARKs. - Charanjit S. Jutla; Eamonn W. Postlethwaite; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2023)

Improved Polynomial Division in Cryptography. - Kostas Kryptos Chalkias; Charanjit S. Jutla; Jonas Lindstrøm; Varun Madathil; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2024)

An Abstract Multi-Forking Lemma. - Charanjit S. Jutla (IACR Cryptol. ePrint Arch., 2024)

Capitalized Bitcoin Fork for National Strategic Reserve. - Charanjit S. Jutla; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2025)