A framework for systematic validation and debugging of pipeline simulators. - Arnab Roy 001; Subrat Kumar Panda; Rajeev Kumar 004; P. P. Chakrabarti 001 (ACM Trans. Design Autom. Electr. Syst., 2005)

Secrecy Analysis in Protocol Composition Logic. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell; Jean-Pierre Seifert (ASIAN, 2006)

Inductive Proofs of Computational Secrecy. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell (ESORICS, 2007)

Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. - Arnab Roy 001; Anupam Datta; John C. Mitchell (TGC, 2007)

Protocol Composition Logic (PCL). - Anupam Datta; Ante Derek; John C. Mitchell; Arnab Roy 001 (Computation, Meaning, and Logic, 2007)

Inductive Proof Method for Computational Secrecy. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell (IACR Cryptol. ePrint Arch., 2007)

Analysis of EAP-GPSK Authentication Protocol. - John C. Mitchell; Arnab Roy 001; Paul D. Rowe; Andre Scedrov (ACNS, 2008)

An Automated Approach for Proving PCL Invariants. - John C. Mitchell; Arnab Roy 001; Mukund Sundararajan (SecReT@LICS/CSF, 2008)

Simulation-based verification using Temporally Attributed Boolean Logic. - Subrat Kumar Panda; Arnab Roy 001; P. P. Chakrabarti 001; Rajeev Kumar 004 (ACM Trans. Design Autom. Electr. Syst., 2008)

Operational Semantics for DKAL: Application and Analysis. - Yuri Gurevich; Arnab Roy 001 (TrustBus, 2009)

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

Composable Security Analysis of OS Services. - Ran Canetti; Suresh Chari; Shai Halevi; Birgit Pfitzmann; Arnab Roy 001; Michael Steiner 001; Wietse Z. Venema (IACR Cryptol. ePrint Arch., 2010)

Inductive trace properties for computational security. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell (J. Comput. Secur., 2010)

Formal proofs of cryptographic security of network protocols. - Arnab Roy 001 (2010)

Protocol Composition Logic. - Anupam Datta; John C. Mitchell; Arnab Roy 001; Stephan Hyeonjun Stiller (Formal Models and Techniques for Analyzing Security Protocols, 2011)

Policy refinement of network services for MANETs. - Hang Zhao; Jorge Lobo 001; Arnab Roy 001; Steven M. Bellovin (Integrated Network Management, 2011)

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)

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

Big Data: Challenges, practices and technologies: NIST Big Data Public Working Group workshop at IEEE Big Data 2014. - Nancy W. Grady; Mark A. Underwood; Arnab Roy 001; Wo L. Chang (IEEE BigData, 2014)

Privacy preserving disclosure of authenticated energy usage data. - Daisuke Mashima; Arnab Roy 001 (SmartGridComm, 2014)

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

Relational Hash. - Avradip Mandal; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2014)

Privacy Preserving Technique for Set-Based Biometric Authentication using Reed-Solomon Decoding. - Jesse Hartloff; Avradip Mandal; Arnab Roy 001 (BIOSIG, 2015)

Relational Hash: Probabilistic Hash for Verifying Relations, Secure Against Forgery and More. - Avradip Mandal; Arnab Roy 001 (CRYPTO (1), 2015)

Comprehensive and Improved Secure Biometric System Using Homomorphic Encryption. - Avradip Mandal; Arnab Roy 001; Masaya Yasuda (DPM/QASA@ESORICS, 2015)

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. - Anupam Datta; Joseph Y. Halpern; John C. Mitchell; Arnab Roy 001; Shayak Sen (CoRR, 2015)

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)

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

Function-Hiding Inner Product Encryption is Practical. - Sam Kim; Kevin Lewi; Avradip Mandal; Hart William Montgomery; Arnab Roy 001; David J. Wu 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)

Privacy for Targeted Advertising. - Avradip Mandal; John C. Mitchell; Hart William Montgomery; 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)

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)

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

Data Oblivious Genome Variants Search on Intel SGX. - Avradip Mandal; John C. Mitchell; Hart Montgomery; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2018)

On Modeling Local Search with Special-Purpose Combinatorial Optimization Hardware. - Xiaoyuan Liu 001; Hayato Ushijima-Mwesigwa; Avradip Mandal; Sarvagya Upadhyay; Ilya Safro; Arnab Roy 001 (CoRR, 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)

Compressed Quadratization of Higher Order Binary Optimization Problems. - Avradip Mandal; Arnab Roy 001; Sarvagya Upadhyay; Hayato Ushijima-Mwesigwa (DCC, 2020)

Ising-Based Consensus Clustering on Specialized Hardware. - Eldan Cohen; Avradip Mandal; Hayato Ushijima-Mwesigwa; Arnab Roy 001 (IDA, 2020)

Binary Matrix Factorization on Special Purpose Hardware. - Osman Asif Malik; Hayato Ushijima-Mwesigwa; Arnab Roy 001; Avradip Mandal; Indradeep Ghosh (CoRR, 2020)

Time-release Cryptography from Minimal Circuit Assumptions. - Samuel Jaques; Hart Montgomery; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2020)

Single-Message Credential-Hiding Login. - Kevin Lewi; Payman Mohassel; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2020)

Unified Clustering and Outlier Detection on Specialized Hardware. - Eldan Cohen; Hayato Ushijima-Mwesigwa; Avradip Mandal; Arnab Roy 001 (ICASSP, 2021)

Time-Release Cryptography from Minimal Circuit Assumptions. - Samuel Jaques; Hart Montgomery; Razvan Rosie; Arnab Roy 001 (INDOCRYPT, 2021)

STROBE: Stake-based Threshold Random Beacons. - Donald Beaver; Konstantinos Chalkias; Mahimna Kelkar; Lefteris Kokoris-Kogias; Kevin Lewi; Ladi de Naurois; Valeria Nicolaenko; Arnab Roy 001; Alberto Sonnino (IACR Cryptol. ePrint Arch., 2021)

Leveraging special-purpose hardware for local search heuristics. - Xiaoyuan Liu 001; Hayato Ushijima-Mwesigwa; Avradip Mandal; Sarvagya Upadhyay; Ilya Safro; Arnab Roy 001 (Comput. Optim. Appl., 2022)

Oblivious Revocable Functions and Encrypted Indexing. - Kevin Lewi; Jon Millican; Ananth Raghunathan; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2022)

STROBE: Streaming Threshold Random Beacons. - Donald Beaver; Konstantinos Chalkias; Mahimna Kelkar; Lefteris Kokoris-Kogias; Kevin Lewi; Ladi de Naurois; Valeria Nikolaenko; Arnab Roy 001; Alberto Sonnino (AFT, 2023)

Poster: WIP: Account ZK-Rollups from Sumcheck Arguments. - Rex Fernando; Arnab Roy 001 (CCS, 2023)

Subset-optimized BLS Multi-signature with Key Aggregation. - Foteini Baldimtsi; Konstantinos Kryptos Chalkias; François Garillot; Jonas Lindstrøm; Ben Riva; Arnab Roy 001; Alberto Sonnino; Pun Waiwitlikhit; Joy Wang (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)

Minicrypt Primitives with Algebraic Structure and Applications. - Navid Alamati; Hart Montgomery; Sikhar Patranabis; Arnab Roy 001 (J. Cryptol., 2023)

zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials. - Foteini Baldimtsi; Konstantinos Kryptos Chalkias; Yan Ji 001; Jonas Lindstrøm; Deepak Maram; Ben Riva; Arnab Roy 001; Mahdi Sedaghat; Joy Wang (CCS, 2024)

Subset-Optimized BLS Multi-signature with Key Aggregation. - Foteini Baldimtsi; Konstantinos Kryptos Chalkias; François Garillot; Jonas Lindstrøm; Ben Riva; Arnab Roy 001; Mahdi Sedaghat; Alberto Sonnino; Pun Waiwitlikhit; Joy Wang (FC (2), 2024)

Fastcrypto: Pioneering Cryptography Via Continuous Benchmarking. - Kostas Kryptos Chalkias; Jonas Lindstrøm; Deepak Maram; Ben Riva; Arnab Roy 001; Alberto Sonnino; Joy Wang (ICPE (Companion), 2024)

SoK: Privacy-Preserving Transactions in Blockchains. - Foteini Baldimtsi; Kostas Kryptos Chalkias; Varun Madathil; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2024)

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

Fastcrypto: Pioneering Cryptography Via Continuous Benchmarking. - Konstantinos Kryptos Chalkias; Jonas Lindstrøm; Deepak Maram; Ben Riva; Arnab Roy 001; Alberto Sonnino; Joy Wang (IACR Cryptol. ePrint Arch., 2024)

An Efficient Hash Function for Imaginary Class Groups. - Konstantinos Kryptos Chalkias; Jonas Lindstrøm; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2024)

SoK: Zero-Knowledge Range Proofs. - Miranda Christ; Foteini Baldimtsi; Konstantinos Kryptos Chalkias; Deepak Maram; Arnab Roy 001; Joy Wang (IACR Cryptol. ePrint Arch., 2024)

Post-Quantum Readiness in EdDSA Chains. - Foteini Baldimtsi; Konstantinos Chalkias; Arnab Roy 001 (IACR Cryptol. ePrint Arch., 2025)

Zero-knowledge Authenticator for Blockchain: Policy-private and Obliviously Updateable. - Kostas Kryptos Chalkias; Deepak Maram; Arnab Roy 001; Joy Wang; Aayush Yadav (IACR Cryptol. ePrint Arch., 2025)

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