Arnab Roy

According to our database, Arnab Roy authored at least 56 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

An Efficient Hash Function for Imaginary Class Groups.

Konstantinos Kryptos Chalkias, Jonas Lindstrøm, Arnab Roy

IACR Cryptol. ePrint Arch., 2024

zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials.

Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Yan Ji, Jonas Lindstrøm, Deepak Maram, Ben Riva, Arnab Roy, Mahdi Sedaghat, Joy Wang

CoRR, 2024

2023

Minicrypt Primitives with Algebraic Structure and Applications.

Navid Alamati, Hart Montgomery, Sikhar Patranabis, Arnab Roy

J. Cryptol., 2023

A Novel Power-Sum PRG with Applications to Lattice-Based zkSNARKs.

Charanjit S. Jutla, Eamonn W. Postlethwaite, Arnab Roy

IACR Cryptol. ePrint Arch., 2023

Subset-optimized BLS Multi-signature with Key Aggregation.

Foteini Baldimtsi, Konstantinos Kryptos Chalkias, François Garillot, Jonas Lindstrøm, Ben Riva, Arnab Roy, Alberto Sonnino, Pun Waiwitlikhit, Joy Wang

IACR Cryptol. ePrint Arch., 2023

STROBE: Streaming Threshold Random Beacons.

Donald Beaver, Konstantinos Chalkias, Mahimna Kelkar, Lefteris Kokoris-Kogias, Kevin Lewi, Ladi de Naurois, Valeria Nikolaenko, Arnab Roy, Alberto Sonnino

Proceedings of the 5th Conference on Advances in Financial Technologies, 2023

2022

Oblivious Revocable Functions and Encrypted Indexing.

Kevin Lewi, Jon Millican, Ananth Raghunathan, Arnab Roy

IACR Cryptol. ePrint Arch., 2022

Leveraging special-purpose hardware for local search heuristics.

Xiaoyuan Liu, Hayato Ushijima-Mwesigwa, Avradip Mandal, Sarvagya Upadhyay, Ilya Safro, Arnab Roy

Comput. Optim. Appl., 2022

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, Alberto Sonnino

IACR Cryptol. ePrint Arch., 2021

Time-Release Cryptography from Minimal Circuit Assumptions.

Samuel Jaques, Hart Montgomery, Razvan Rosie, Arnab Roy

Proceedings of the Progress in Cryptology - INDOCRYPT 2021, 2021

Unified Clustering and Outlier Detection on Specialized Hardware.

Eldan Cohen, Hayato Ushijima-Mwesigwa, Avradip Mandal, Arnab Roy

Proceedings of the IEEE International Conference on Acoustics, 2021

2020

Single-Message Credential-Hiding Login.

Kevin Lewi, Payman Mohassel, Arnab Roy

IACR Cryptol. ePrint Arch., 2020

Time-release Cryptography from Minimal Circuit Assumptions.

Samuel Jaques, Hart Montgomery, Arnab Roy

IACR Cryptol. ePrint Arch., 2020

Binary Matrix Factorization on Special Purpose Hardware.

Osman Asif Malik, Hayato Ushijima-Mwesigwa, Arnab Roy, Avradip Mandal, Indradeep Ghosh

CoRR, 2020

Ising-Based Consensus Clustering on Specialized Hardware.

Eldan Cohen, Avradip Mandal, Hayato Ushijima-Mwesigwa, Arnab Roy

Proceedings of the Advances in Intelligent Data Analysis XVIII, 2020

Compressed Quadratization of Higher Order Binary Optimization Problems.

Avradip Mandal, Arnab Roy, Sarvagya Upadhyay, Hayato Ushijima-Mwesigwa

Proceedings of the Data Compression Conference, 2020

2019

Shorter QA-NIZK and SPS with Tighter Security.

Masayuki Abe, Charanjit S. Jutla, Miyako Ohkubo, Jiaxin Pan, Arnab Roy, Yuyu Wang

IACR Cryptol. ePrint Arch., 2019

On Modeling Local Search with Special-Purpose Combinatorial Optimization Hardware.

Xiaoyuan Liu, Hayato Ushijima-Mwesigwa, Avradip Mandal, Sarvagya Upadhyay, Ilya Safro, Arnab Roy

CoRR, 2019

2018

Data Oblivious Genome Variants Search on Intel SGX.

Avradip Mandal, John C. Mitchell, Hart Montgomery, Arnab Roy

IACR Cryptol. ePrint Arch., 2018

Improved (Almost) Tightly-Secure Structure-Preserving Signatures.

Charanjit S. Jutla, Miyako Ohkubo, Arnab Roy

IACR Cryptol. ePrint Arch., 2018

Improved (Almost) Tightly-Secure Simulation-Sound QA-NIZK with Applications.

Masayuki Abe, Charanjit S. Jutla, Miyako Ohkubo, Arnab Roy

IACR Cryptol. ePrint Arch., 2018

Smooth NIZK Arguments.

Charanjit S. Jutla, Arnab Roy

Proceedings of the Theory of Cryptography - 16th International Conference, 2018

2017

Shorter Quasi-Adaptive NIZK Proofs for Linear Subspaces.

Charanjit S. Jutla, Arnab Roy

J. Cryptol., 2017

Privacy for Targeted Advertising.

Avradip Mandal, John C. Mitchell, Hart William Montgomery, Arnab Roy

IACR Cryptol. ePrint Arch., 2017

Improved Structure Preserving Signatures under Standard Bilinear Assumptions.

Charanjit S. Jutla, Arnab Roy

IACR Cryptol. ePrint Arch., 2017

2016

Function-Hiding Inner Product Encryption is Practical.

Sam Kim, Kevin Lewi, Avradip Mandal, Hart William Montgomery, Arnab Roy, David J. Wu

IACR Cryptol. ePrint Arch., 2016

Smooth NIZK Arguments with Applications to Asymmetric UC-PAKE.

Charanjit S. Jutla, Arnab Roy

IACR Cryptol. ePrint Arch., 2016

2015

Weak Ideal Functionalities for Designing Random Oracles with Applications to Fugue.

Shai Halevi, William Eric Hall, Charanjit S. Jutla, Arnab Roy

IACR Cryptol. ePrint Arch., 2015

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols.

Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen

CoRR, 2015

Comprehensive and Improved Secure Biometric System Using Homomorphic Encryption.

Avradip Mandal, Arnab Roy, Masaya Yasuda

Proceedings of the Data Privacy Management, and Security Assurance, 2015

Relational Hash: Probabilistic Hash for Verifying Relations, Secure Against Forgery and More.

Avradip Mandal, Arnab Roy

Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

Privacy Preserving Technique for Set-Based Biometric Authentication using Reed-Solomon Decoding.

Jesse Hartloff, Avradip Mandal, Arnab Roy

Proceedings of the BIOSIG 2015, 2015

2014

Relational Hash.

Avradip Mandal, Arnab Roy

IACR Cryptol. ePrint Arch., 2014

Dual-System Simulation-Soundness with Applications to UC-PAKE and More.

Charanjit S. Jutla, Arnab Roy

IACR Cryptol. ePrint Arch., 2014

Privacy preserving disclosure of authenticated energy usage data.

Daisuke Mashima, Arnab Roy

Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

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, Wo L. Chang

Proceedings of the 2014 IEEE International Conference on Big Data (IEEE BigData 2014), 2014

2013

Switching Lemma for Bilinear Tests and Constant-size NIZK Proofs for Linear Subspaces.

Charanjit S. Jutla, Arnab Roy

IACR Cryptol. ePrint Arch., 2013

2012

Decision Procedures for Simulatability.

Charanjit S. Jutla, Arnab Roy

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

Relatively-Sound NIZKs and Password-Based Key-Exchange.

Charanjit S. Jutla, Arnab Roy

IACR Cryptol. ePrint Arch., 2011

Universally Composable Security Analysis of OAuth v2.0.

Suresh Chari, Charanjit S. Jutla, Arnab Roy

IACR Cryptol. ePrint Arch., 2011

Policy refinement of network services for MANETs.

Hang Zhao, Jorge Lobo, Arnab Roy, Steven M. Bellovin

Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Protocol Composition Logic.

Anupam Datta, John C. Mitchell, Arnab Roy, Stephan Hyeonjun Stiller

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

Formal proofs of cryptographic security of network protocols.

Arnab Roy

PhD thesis, 2010

Composable Security Analysis of OS Services.

Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema

IACR Cryptol. ePrint Arch., 2010

A Completeness Theorem for Pseudo-Linear Functions with Applications to UC Security.

Charanjit S. Jutla, Arnab Roy

Electron. Colloquium Comput. Complex., 2010

2009

Operational Semantics for DKAL: Application and Analysis.

Yuri Gurevich, Arnab Roy

Proceedings of the Trust, 2009

2008

Simulation-based verification using Temporally Attributed Boolean Logic.

Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar

ACM Trans. Design Autom. Electr. Syst., 2008

An Automated Approach for Proving PCL Invariants.

John C. Mitchell, Arnab Roy, Mukund Sundararajan

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

Analysis of EAP-GPSK Authentication Protocol.

John C. Mitchell, Arnab Roy, Paul D. Rowe, Andre Scedrov

Proceedings of the Applied Cryptography and Network Security, 6th International Conference, 2008

2007

Inductive Proof Method for Computational Secrecy.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

IACR Cryptol. ePrint Arch., 2007

Protocol Composition Logic (PCL).

Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.

Arnab Roy, Anupam Datta, John C. Mitchell

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Inductive Proofs of Computational Secrecy.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

Proceedings of the Computer Security, 2007

2006

Inductive Trace Properties for Computational Security.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

IACR Cryptol. ePrint Arch., 2006

Secrecy Analysis in Protocol Composition Logic.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert

Proceedings of the Advances in Computer Science, 2006

2005

A framework for systematic validation and debugging of pipeline simulators.

Arnab Roy, Subrat Kumar Panda, Rajeev Kumar, P. P. Chakrabarti

ACM Trans. Design Autom. Electr. Syst., 2005