Arnab Roy

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 43

Top Topics

Cryptographic Protocols

Linear Subspace

Special Purpose Hardware

Top Venues

IACR Cryptol. ePrint Arch.

Public Key Cryptography (2)

Publications

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