Arnab Roy

91 papers A* 2A 2B 8Misc 4Journal 48Unranked 25
YearRankTypeTitle / Venue / Authors
2025 J jnl
Capitalized Bitcoin Fork for National Strategic Reserve.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Arnab Roy
2025 J jnl
Partial Fraction Techniques for Cryptography.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Rohit Nema, Arnab Roy
2025 J jnl
Post-Quantum Readiness in EdDSA Chains.
IACR Cryptol. ePrint Arch.
Foteini Baldimtsi, Konstantinos Chalkias, Arnab Roy
2025 J jnl
Robust Elections and More: Fast MPC in the Preprocessing Model.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Nathan Manohar, Arnab Roy
2025 B conf
Zero-Knowledge Authenticator for Blockchain: Policy-Private and Obliviously Updateable.
AFT
Kostas Kryptos Chalkias, Deepak Maram, Arnab Roy, Joy Wang, Aayush Yadav
2025 J jnl
Zero-knowledge Authenticator for Blockchain: Policy-private and Obliviously Updateable.
IACR Cryptol. ePrint Arch.
Kostas Kryptos Chalkias, Deepak Maram, Arnab Roy, Joy Wang, Aayush Yadav
2024 J jnl
An Efficient Hash Function for Imaginary Class Groups.
IACR Cryptol. ePrint Arch.
Konstantinos Kryptos Chalkias, Jonas Lindstrøm, Arnab Roy
2024 — conf
Fastcrypto: Pioneering Cryptography Via Continuous Benchmarking.
ICPE (Companion)
Kostas Kryptos Chalkias, Jonas Lindstrøm, Deepak Maram, Ben Riva, Arnab Roy, Alberto Sonnino, Joy Wang
2024 J jnl
Fastcrypto: Pioneering Cryptography Via Continuous Benchmarking.
IACR Cryptol. ePrint Arch.
Konstantinos Kryptos Chalkias, Jonas Lindstrøm, Deepak Maram, Ben Riva, Arnab Roy, Alberto Sonnino, Joy Wang
2024 J jnl
Improved Polynomial Division in Cryptography.
IACR Cryptol. ePrint Arch.
Kostas Kryptos Chalkias, Charanjit S. Jutla, Jonas Lindstrøm, Varun Madathil, Arnab Roy
2024 J jnl
SoK: Privacy-Preserving Transactions in Blockchains.
IACR Cryptol. ePrint Arch.
Foteini Baldimtsi, Kostas Kryptos Chalkias, Varun Madathil, Arnab Roy
2024 B conf
SoK: Zero-Knowledge Range Proofs.
AFT
Miranda Christ, Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Deepak Maram, Arnab Roy, Joy Wang
2024 J jnl
SoK: Zero-Knowledge Range Proofs.
IACR Cryptol. ePrint Arch.
Miranda Christ, Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Deepak Maram, Arnab Roy, Joy Wang
2024 — conf
Subset-Optimized BLS Multi-signature with Key Aggregation.
FC (2)
Foteini Baldimtsi, Konstantinos Kryptos Chalkias, François Garillot, Jonas Lindstrøm, Ben Riva, Arnab Roy, Mahdi Sedaghat, Alberto Sonnino, Pun Waiwitlikhit, Joy Wang
2024 A* conf
zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials.
CCS
Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Yan Ji, Jonas Lindstrøm, Deepak Maram, Ben Riva, Arnab Roy, Mahdi Sedaghat, Joy Wang
2024 J jnl
zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials.
CoRR
Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Yan Ji, Jonas Lindstrøm, Deepak Maram, Ben Riva, Arnab Roy, Mahdi Sedaghat, Joy Wang
2023 J jnl
A Novel Power-Sum PRG with Applications to Lattice-Based zkSNARKs.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Eamonn W. Postlethwaite, Arnab Roy
2023 J jnl
Minicrypt Primitives with Algebraic Structure and Applications.
J. Cryptol.
Navid Alamati, Hart Montgomery, Sikhar Patranabis, Arnab Roy
2023 A* conf
Poster: WIP: Account ZK-Rollups from Sumcheck Arguments.
CCS
Rex Fernando, Arnab Roy
2023 B conf
STROBE: Streaming Threshold Random Beacons.
AFT
Donald Beaver, Konstantinos Chalkias, Mahimna Kelkar, Lefteris Kokoris-Kogias, Kevin Lewi, Ladi de Naurois, Valeria Nikolaenko, Arnab Roy, Alberto Sonnino
2023 J jnl
Subset-optimized BLS Multi-signature with Key Aggregation.
IACR Cryptol. ePrint Arch.
Foteini Baldimtsi, Konstantinos Kryptos Chalkias, François Garillot, Jonas Lindstrøm, Ben Riva, Arnab Roy, Alberto Sonnino, Pun Waiwitlikhit, Joy Wang
2022 J jnl
Leveraging special-purpose hardware for local search heuristics.
Comput. Optim. Appl.
Xiaoyuan Liu, Hayato Ushijima-Mwesigwa, Avradip Mandal, Sarvagya Upadhyay, Ilya Safro, Arnab Roy
2022 J jnl
Oblivious Revocable Functions and Encrypted Indexing.
IACR Cryptol. ePrint Arch.
Kevin Lewi, Jon Millican, Ananth Raghunathan, Arnab Roy
2021 J jnl
STROBE: Stake-based Threshold Random Beacons.
IACR Cryptol. ePrint Arch.
Donald Beaver, Konstantinos Chalkias, Mahimna Kelkar, Lefteris Kokoris-Kogias, Kevin Lewi, Ladi de Naurois, Valeria Nicolaenko, Arnab Roy, Alberto Sonnino
2021 Misc conf
Time-Release Cryptography from Minimal Circuit Assumptions.
INDOCRYPT
Samuel Jaques, Hart Montgomery, Razvan Rosie, Arnab Roy
2021 Misc conf
Unified Clustering and Outlier Detection on Specialized Hardware.
ICASSP
Eldan Cohen, Hayato Ushijima-Mwesigwa, Avradip Mandal, Arnab Roy
2020 J jnl
Binary Matrix Factorization on Special Purpose Hardware.
CoRR
Osman Asif Malik, Hayato Ushijima-Mwesigwa, Arnab Roy, Avradip Mandal, Indradeep Ghosh
2020 B conf
Compressed Quadratization of Higher Order Binary Optimization Problems.
DCC
Avradip Mandal, Arnab Roy, Sarvagya Upadhyay, Hayato Ushijima-Mwesigwa
2020 J jnl
Compressed Quadratization of Higher Order Binary Optimization Problems.
CoRR
Avradip Mandal, Arnab Roy, Sarvagya Upadhyay, Hayato Ushijima-Mwesigwa
2020 — conf
Compressed quadratization of higher order binary optimization problems.
CF
Avradip Mandal, Arnab Roy, Sarvagya Upadhyay, Hayato Ushijima-Mwesigwa
2020 B conf
Ising-Based Consensus Clustering on Specialized Hardware.
IDA
Eldan Cohen, Avradip Mandal, Hayato Ushijima-Mwesigwa, Arnab Roy
2020 J jnl
Ising-based Consensus Clustering on Specialized Hardware.
CoRR
Eldan Cohen, Avradip Mandal, Hayato Ushijima-Mwesigwa, Arnab Roy
2020 J jnl
Single-Message Credential-Hiding Login.
IACR Cryptol. ePrint Arch.
Kevin Lewi, Payman Mohassel, Arnab Roy
2020 J jnl
Time-release Cryptography from Minimal Circuit Assumptions.
IACR Cryptol. ePrint Arch.
Samuel Jaques, Hart Montgomery, Arnab Roy
2019 — conf
Minicrypt Primitives with Algebraic Structure and Applications.
EUROCRYPT (2)
Navid Alamati, Hart Montgomery, Sikhar Patranabis, Arnab Roy
2019 J jnl
Minicrypt Primitives with Algebraic Structure and Applications.
IACR Cryptol. ePrint Arch.
Navid Alamati, Hart Montgomery, Sikhar Patranabis, Arnab Roy
2019 J jnl
On Modeling Local Search with Special-Purpose Combinatorial Optimization Hardware.
CoRR
Xiaoyuan Liu, Hayato Ushijima-Mwesigwa, Avradip Mandal, Sarvagya Upadhyay, Ilya Safro, Arnab Roy
2019 — conf
Shorter QA-NIZK and SPS with Tighter Security.
ASIACRYPT (3)
Masayuki Abe, Charanjit S. Jutla, Miyako Ohkubo, Jiaxin Pan, Arnab Roy, Yuyu Wang
2019 J jnl
Shorter QA-NIZK and SPS with Tighter Security.
IACR Cryptol. ePrint Arch.
Masayuki Abe, Charanjit S. Jutla, Miyako Ohkubo, Jiaxin Pan, Arnab Roy, Yuyu Wang
2018 — conf
Data Oblivious Genome Variants Search on Intel SGX.
DPM/CBT@ESORICS
Avradip Mandal, John C. Mitchell, Hart Montgomery, Arnab Roy
2018 J jnl
Data Oblivious Genome Variants Search on Intel SGX.
IACR Cryptol. ePrint Arch.
Avradip Mandal, John C. Mitchell, Hart Montgomery, Arnab Roy
2018 Misc conf
Function-Hiding Inner Product Encryption Is Practical.
SCN
Sam Kim, Kevin Lewi, Avradip Mandal, Hart Montgomery, Arnab Roy, David J. Wu
2018 — conf
Improved (Almost) Tightly-Secure Simulation-Sound QA-NIZK with Applications.
ASIACRYPT (1)
Masayuki Abe, Charanjit S. Jutla, Miyako Ohkubo, Arnab Roy
2018 J jnl
Improved (Almost) Tightly-Secure Simulation-Sound QA-NIZK with Applications.
IACR Cryptol. ePrint Arch.
Masayuki Abe, Charanjit S. Jutla, Miyako Ohkubo, Arnab Roy
2018 — conf
Improved (Almost) Tightly-Secure Structure-Preserving Signatures.
Public Key Cryptography (2)
Charanjit S. Jutla, Miyako Ohkubo, Arnab Roy
2018 J jnl
Improved (Almost) Tightly-Secure Structure-Preserving Signatures.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Miyako Ohkubo, Arnab Roy
2018 — conf
Smooth NIZK Arguments.
TCC (1)
Charanjit S. Jutla, Arnab Roy
2017 — conf
Improved Structure Preserving Signatures Under Standard Bilinear Assumptions.
Public Key Cryptography (2)
Charanjit S. Jutla, Arnab Roy
2017 J jnl
Improved Structure Preserving Signatures under Standard Bilinear Assumptions.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Arnab Roy
2017 J jnl
Privacy for Targeted Advertising.
IACR Cryptol. ePrint Arch.
Avradip Mandal, John C. Mitchell, Hart William Montgomery, Arnab Roy
2017 — conf
Privacy for targeted advertising.
CNS
Avradip Mandal, John C. Mitchell, Hart William Montgomery, Arnab Roy
2017 J jnl
Shorter Quasi-Adaptive NIZK Proofs for Linear Subspaces.
J. Cryptol.
Charanjit S. Jutla, Arnab Roy
2016 J jnl
Function-Hiding Inner Product Encryption is Practical.
IACR Cryptol. ePrint Arch.
Sam Kim, Kevin Lewi, Avradip Mandal, Hart William Montgomery, Arnab Roy, David J. Wu
2016 J jnl
Smooth NIZK Arguments with Applications to Asymmetric UC-PAKE.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Arnab Roy
2015 J jnl
A Symbolic Logic with Concrete Bounds for Cryptographic Protocols.
CoRR
Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen
2015 — conf
Comprehensive and Improved Secure Biometric System Using Homomorphic Encryption.
DPM/QASA@ESORICS
Avradip Mandal, Arnab Roy, Masaya Yasuda
2015 — conf
Dual-System Simulation-Soundness with Applications to UC-PAKE and More.
ASIACRYPT (1)
Charanjit S. Jutla, Arnab Roy
2015 — conf
Privacy Preserving Technique for Set-Based Biometric Authentication using Reed-Solomon Decoding.
BIOSIG
Jesse Hartloff, Avradip Mandal, Arnab Roy
2015 — conf
Relational Hash: Probabilistic Hash for Verifying Relations, Secure Against Forgery and More.
CRYPTO (1)
Avradip Mandal, Arnab Roy
2015 J jnl
Weak Ideal Functionalities for Designing Random Oracles with Applications to Fugue.
IACR Cryptol. ePrint Arch.
Shai Halevi, William Eric Hall, Charanjit S. Jutla, Arnab Roy
2014 — conf
Big Data: Challenges, practices and technologies: NIST Big Data Public Working Group workshop at IEEE Big Data 2014.
IEEE BigData
Nancy W. Grady, Mark A. Underwood, Arnab Roy, Wo L. Chang
2014 J jnl
Dual-System Simulation-Soundness with Applications to UC-PAKE and More.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Arnab Roy
2014 — conf
Privacy preserving disclosure of authenticated energy usage data.
SmartGridComm
Daisuke Mashima, Arnab Roy
2014 J jnl
Relational Hash.
IACR Cryptol. ePrint Arch.
Avradip Mandal, Arnab Roy
2014 — conf
Switching Lemma for Bilinear Tests and Constant-Size NIZK Proofs for Linear Subspaces.
CRYPTO (2)
Charanjit S. Jutla, Arnab Roy
2013 — conf
Shorter Quasi-Adaptive NIZK Proofs for Linear Subspaces.
ASIACRYPT (1)
Charanjit S. Jutla, Arnab Roy
2013 J jnl
Shorter Quasi-Adaptive NIZK Proofs for Linear Subspaces.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Arnab Roy
2013 J jnl
Switching Lemma for Bilinear Tests and Constant-size NIZK Proofs for Linear Subspaces.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Arnab Roy
2012 A conf
Decision Procedures for Simulatability.
ESORICS
Charanjit S. Jutla, Arnab Roy
2012 — conf
Relatively-Sound NIZKs and Password-Based Key-Exchange.
Public Key Cryptography
Charanjit S. Jutla, Arnab Roy
2011 B conf
Composable Security Analysis of OS Services.
ACNS
Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema
2011 — conf
Policy refinement of network services for MANETs.
Integrated Network Management
Hang Zhao, Jorge Lobo, Arnab Roy, Steven M. Bellovin
2011 — ch.
Protocol Composition Logic.
Formal Models and Techniques for Analyzing Security Protocols
Anupam Datta, John C. Mitchell, Arnab Roy, Stephan Hyeonjun Stiller
2011 J jnl
Relatively-Sound NIZKs and Password-Based Key-Exchange.
IACR Cryptol. ePrint Arch.
Charanjit S. Jutla, Arnab Roy
2011 J jnl
Universally Composable Security Analysis of OAuth v2.0.
IACR Cryptol. ePrint Arch.
Suresh Chari, Charanjit S. Jutla, Arnab Roy
2010 J jnl
A Completeness Theorem for Pseudo-Linear Functions with Applications to UC Security.
Electron. Colloquium Comput. Complex.
Charanjit S. Jutla, Arnab Roy
2010 J jnl
Composable Security Analysis of OS Services.
IACR Cryptol. ePrint Arch.
Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema
2010 — —
Formal proofs of cryptographic security of network protocols.
Arnab Roy
2010 J jnl
Inductive trace properties for computational security.
J. Comput. Secur.
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2009 B conf
Operational Semantics for DKAL: Application and Analysis.
TrustBus
Yuri Gurevich, Arnab Roy
2008 — conf
An Automated Approach for Proving PCL Invariants.
SecReT@LICS/CSF
John C. Mitchell, Arnab Roy, Mukund Sundararajan
2008 B conf
Analysis of EAP-GPSK Authentication Protocol.
ACNS
John C. Mitchell, Arnab Roy, Paul D. Rowe, Andre Scedrov
2008 J jnl
Simulation-based verification using Temporally Attributed Boolean Logic.
ACM Trans. Design Autom. Electr. Syst.
Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar
2007 — conf
Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.
TGC
Arnab Roy, Anupam Datta, John C. Mitchell
2007 J jnl
Inductive Proof Method for Computational Secrecy.
IACR Cryptol. ePrint Arch.
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2007 A conf
Inductive Proofs of Computational Secrecy.
ESORICS
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2007 — conf
Protocol Composition Logic (PCL).
Computation, Meaning, and Logic
Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy
2007 Misc conf
Simulation Based Verification using Temporally Attributed Boolean Logic.
VLSI Design
Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar
2006 J jnl
Inductive Trace Properties for Computational Security.
IACR Cryptol. ePrint Arch.
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2006 — conf
Secrecy Analysis in Protocol Composition Logic.
ASIAN
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert
2005 J jnl
A framework for systematic validation and debugging of pipeline simulators.
ACM Trans. Design Autom. Electr. Syst.
Arnab Roy, Subrat Kumar Panda, Rajeev Kumar, P. P. Chakrabarti