David Jao

dblp:51/2578 · DBLP profile ↗
← Back
23ranked-venue papers
4as first author
4since 2021 · last 2025
0000-0002-8073-1692ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 22 · 4 first-author · 4 since 2021Theory of computation · 1
YearPublicationVenuePosition
2025 Commuting Ramanujan Graphs and the Random Self-reducibility of Isogeny Problems
Youcef Mokrani, David Jao
PQCrypto (2)2
2024 On the Semidirect Discrete Logarithm Problem in Finite Groups
Christopher Battarbee, Giacomo Borin, Julian Brough, Ryann Cartor, Tobias Hemmert, Nadia Heninger, David Jao, Delaram Kahrobaei, Laura Maddison, Edoardo Persichetti, Angela Robinson, Daniel Smith-Tone, Rainer Steinwandt
ASIACRYPT (8)7
2022 Optimal Generic Attack Against Basic Boneh-Boyen Signatures
Yen-Kang Fu, David Jao
ISPEC3
2021 Towards Post-Quantum Key-Updatable Public-Key Encryption via Supersingular Isogenies
Edward Eaton, David Jao, Chelsea Komlo, Youcef Mokrani
SAC2
2020 How Not to Create an Isogeny-Based PAKE
Reza Azarderakhsh, David Jao, Brian Koziel, Jason T. LeGrow, Vladimir Soukharev, Oleg Taraskin
ACNS (1)2
2019 Improved Digital Signatures Based on Elliptic Curve Endomorphism Rings
Xiu Xu, Christopher Leonardi, Anzo Teh, David Jao, Kunpeng Wang 0001, Wei Yu 0008, Reza Azarderakhsh
ISPEC4
2019 Supersingular Isogeny Diffie-Hellman Key Exchange on 64-Bit ARM
abstract
We present an efficient implementation of the supersingular isogeny Diffie-Hellman (SIDH) key exchange protocol on 64-bit ARMv8 processors for 125and 160-bit post-quantum security levels. We analyze the use of both affine and projective SIDH formulas and provide a comprehensive analysis of both approaches based on the inversion-to-multiplication ratio. Implementation results show that regardless of security concerns, affine SIDH is competitive with the projective coordinates implementation, and even outperforms projective implementation in the final round of SIDH; however, projective SIDH shows better overall performance for the whole key exchange protocol. Notably, over larger finite fields, using optimized field multiplication leads to the much better performance of projective compared to affine formulas. We integrate our optimized software into the open quantum-safe OpenSSL library and compare our software with other available post-quantum primitives. The benchmark results on ARMv8 demonstrate speedup of up to 5X over the generic version of SIDH implementation which is available inside the OQS library for the same quantum security level. We observe that our highly-optimized implementation still suffers from a large number of operations for computing isogenies of elliptic curves. However, in terms of communication overhead, supersingular isogeny-based cryptosystem provides significantly smaller key size compared to its counterparts.
Amir Jalali, Reza Azarderakhsh, Mehran Mozaffari Kermani, David Jao
IEEE Trans. Dependable Secur. Comput.4
2018 An Exposure Model for Supersingular Isogeny Diffie-Hellman Key Exchange
Brian Koziel, Reza Azarderakhsh, David Jao
CT-RSA3
2017 Efficient Compression of SIDH Public Keys
Craig Costello, David Jao, Patrick Longa, Michael Naehrig, Joost Renes, David Urbanik
EUROCRYPT (1)2
2017 Post-Quantum Static-Static Key Agreement Using Multiple Protocol Instances
Reza Azarderakhsh, David Jao, Christopher Leonardi
SAC2
2017 Side-Channel Attacks on Quantum-Resistant Supersingular Isogeny Diffie-Hellman
Brian Koziel, Reza Azarderakhsh, David Jao
SAC3
2017 Fast Software Implementations of Bilinear Pairings
abstract
Advancement in pairing-based protocols has had a major impact on the applicability of cryptography to the solution of more complex real-world problems. However, the computation of pairings in software still needs to be optimized for different platforms including emerging embedded systems and high-performance PCs. Few works in the literature have considered implementations of pairings on the former applications despite their growing importance in a post-PC world. In this paper, we investigate the efficient computation of the Optimal-Ate pairing over special class of pairing friendly Barreto-Naehrig curves in software at different security levels. We target both applications and perform our implementations on ARM-powered processors (with and without NEON instructions) and PC processors. We exploit state-of-the-art techniques and propose new optimizations to speed up the computation in the different levels including tower field and curve arithmetic. In particular, we extend the concept of lazy reduction to inversion in extension fields, analyze an efficient alternative for the sparse multiplication used inside the Miller’s algorithm and reduce further the cost of point/line evaluation formulas in affine and projective homogeneous coordinates. In addition, we study the efficiency of using M-type and D-type sextic twists in the pairing computation and carry out a detailed comparison between affine, Jacobian, and homogeneous coordinate systems. Our implementations on various mass-market emerging embedded devices significantly improve the state-of-the-art of pairing computation on ARM-powered devices and x86-64 PC platforms. For ARM implementations we achieved considerably faster computations in comparison to the counterparts.
Reza Azarderakhsh, Dieter Fishbein, Gurleen Grewal, Shi Hu, David Jao, Patrick Longa, Rajeev Verma
IEEE Trans. Dependable Secur. Comput.5
2016 NEON-SIDH: Efficient Implementation of Supersingular Isogeny Diffie-Hellman Key Exchange Protocol on ARM
Brian Koziel, Amir Jalali, Reza Azarderakhsh, David Jao, Mehran Mozaffari Kermani
CANS4
2016 On Fast Calculation of Addition Chains for Isogeny-Based Cryptography
Brian Koziel, Reza Azarderakhsh, David Jao, Mehran Mozaffari Kermani
Inscrypt3
2016 Post-Quantum Security Models for Authenticated Encryption
Vladimir Soukharev, David Jao, Srinath Seshadri
PQCrypto2
2015 Common Subexpression Algorithms for Space-Complexity Reduction of Gaussian Normal Basis Multiplication
abstract
The use of normal bases for representing elements in a binary field is attractive in some applications because it is easy to perform squaring operations in hardware. In such cases, the costs of implementing the multiplication operation become a primary concern. We present new algorithms for reducing the space complexity of Gaussian normal basis multipliers over binary fields GF(2m), where m is odd. Compared with previous results, our approach incurs no additional costs in time complexity, and achieves improvements in space complexity over a wide range of finite fields and digit sizes. For the binary fields specified in the NIST FIPS 186-3 elliptic curve digital signature algorithm standards document, our algorithms reduce by 16% (respectively, 27%) the number of XOR gates needed for the implementation of a digit-level parallel-input parallel-output multiplier over a 163-bit (respectively, 409 bit) binary field.
Reza Azarderakhsh, David Jao, Hao Lee
IEEE Trans. Inf. Theory2
2014 Isogeny-Based Quantum-Resistant Undeniable Signatures
David Jao, Vladimir Soukharev
PQCrypto1
2012 Efficient Implementation of Bilinear Pairings on ARM Processors
Gurleen Grewal, Reza Azarderakhsh, Patrick Longa, Shi Hu, David Jao
Selected Areas in Cryptography5
2011 Towards Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies
David Jao, Luca De Feo
PQCrypto1
2009 Boneh-Boyen Signatures and the Strong Diffie-Hellman Problem
David Jao, Kayo Yoshida
Pairing1
2008 Speeding Up Pairing Computations on Genus 2 Hyperelliptic Curves with Efficiently Computable Automorphisms
Xinxin Fan, Guang Gong, David Jao
Pairing3
2005 Do All Elliptic Curves of the Same Order Have the Same Difficulty of Discrete Log?
David Jao, Stephen D. Miller, Ramarathnam Venkatesan
ASIACRYPT1
2005 Applications of secure electronic voting to automated privacy-preserving troubleshooting
abstract
Recent work [27, 15] introduced a novel peer-to-peer application that leverages content sharing and aggregation among the peers to diagnose misconfigurations on a desktop PC. This application poses interesting challenges in preserving privacy of user configuration data and in maintaining integrity of troubleshooting results. In this paper, we provide a much more rigorous cryptographic and yet practical solution for preserving privacy, and we investigate and analyze solutions for ensuring integrity.
David Jao, Helen J. Wang
CCS2