EDBT 2026 Demo / reviewers in the wild / expert
Armando Faz-Hernández
dblp:49/10243
· DBLP profile ↗
7ranked-venue papers
4as first author
2since 2021 · last 2023
0000-0001-5502-8666ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 4 · 2 first-author · 1 since 2021Systems, architecture and hardware · 2 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Cloud and datacenter computing · 49% Distributed systems · 49% Integrated circuit design · 3% | |
| Network and information security
3 papers |
Cryptographic primitives and cryptanalysis · 85% Systems and software security · 15% |
Topics — the 7 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cloud and datacenter computing
access control |
0.7 | 1 | 2023 | Portunus: Re-imagining Access Control in Distributed Systems · USENIX ATC 2023 |
Distributed systems › distributed system security
distributed access control |
0.7 | 1 | 2023 | Portunus: Re-imagining Access Control in Distributed Systems · USENIX ATC 2023 |
Cryptographic primitives and cryptanalysis › public-key cryptography › elliptic curve
elliptic-curve arithmetic |
0.3 | 1 | 2018 | A Faster Software Implementation of the Supersingular Isogeny Diffie-Hellman Key Exchange Protocol · IEEE Trans. Computers 2018 |
Cryptographic primitives and cryptanalysis
post-quantum cryptography |
0.3 | 1 | 2018 | A Faster Software Implementation of the Supersingular Isogeny Diffie-Hellman Key Exchange Protocol · IEEE Trans. Computers 2018 |
Cryptographic primitives and cryptanalysis › post-quantum cryptography › isogeny-based cryptography
supersingular isogeny diffie-hellman |
0.3 | 1 | 2018 | A Faster Software Implementation of the Supersingular Isogeny Diffie-Hellman Key Exchange Protocol · IEEE Trans. Computers 2018 |
Cryptographic primitives and cryptanalysis › public-key cryptography
elliptic curve cryptography |
0.1 | 1 | 2011 | Software Implementation of Binary Elliptic Curves: Impact of the Carry-Less Multiplier on Scalar Multiplication · CHES 2011 |
Integrated circuit design
digital circuit design |
0.0 | 1 | 2011 | Software Implementation of Binary Elliptic Curves: Impact of the Carry-Less Multiplier on Scalar Multiplication · CHES 2011 |
Methods — techniques the papers use, named apart from their topics
capability-based access control · 1.3precomputation · 0.3field arithmetic optimization · 0.3algorithmic optimization · 0.3software implementation · 0.2scalar multiplication · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Portunus: Re-imagining Access Control in Distributed Systems
Watson Ladd, Tanya Verma, Marloes Venema, Armando Faz-Hernández, Brendan McMillion, Avani Wildani, Nick Sullivan |
USENIX ATC | 4 |
| 2021 | ZKAttest: Ring and Group Signatures for Existing ECDSA Keys
Armando Faz-Hernández, Watson Ladd, Sai Krishna Deepak Maram |
SAC | 1 |
| 2019 | High-performance Implementation of Elliptic Curve Cryptography Using Vector InstructionsabstractElliptic curve cryptosystems are considered an efficient alternative to conventional systems such as DSA and RSA. Recently, Montgomery and Edwards elliptic curves have been used to implement cryptosystems. In particular, the elliptic curves Curve25519 and Curve448 were used for instantiating Diffie-Hellman protocols named X25519 and X448. Mapping these curves to twisted Edwards curves allowed deriving two new signature instances, called Ed25519 and Ed448, of the Edwards Digital Signature Algorithm. In this work, we focus on the secure and efficient software implementation of these algorithms using SIMD parallel processing. We present software techniques that target the Intel AVX2 vector instruction set for accelerating prime field arithmetic and elliptic curve operations. Our contributions result in a high-performance software library for AVX2-ready processors. For example, our library computes digital signatures 19% (for Ed25519) and 29% (for Ed448) faster than previous optimized implementations. Also, our library improves by 10% and 20% the execution time of X25519 and X448, respectively. Armando Faz-Hernández, Julio López 0002, Ricardo Dahab |
ACM Trans. Math. Softw. | 1 |
| 2018 | A Faster Software Implementation of the Supersingular Isogeny Diffie-Hellman Key Exchange ProtocolabstractSince its introduction by Jao and De Feo in 2011, the supersingular isogeny Diffie-Hellman (SIDH) key exchange protocol has positioned itself as a promising candidate for post-quantum cryptography. One salient feature of the SIDH protocol is that it requires exceptionally short key sizes. However, the latency associated to SIDH is higher than the ones reported for other post-quantum cryptosystem proposals. Aiming to accelerate the SIDH runtime performance, we present in this work several algorithmic optimizations targeting both elliptic-curve and field arithmetic operations. We introduce in the context of the SIDH protocol a more efficient approach for calculating the elliptic curve operation$P+[k]Q$. Our strategy achieves a factor 1.4 speedup compared with the popular variable-three-point ladder algorithm regularly used in the SIDH shared secret phase. Moreover, profiting from pre-computation techniques our algorithm yields a factor 1.7 acceleration for the computation of this operation in the SIDH key generation phase. We also present an optimized evaluation of the point tripling formula, and discuss several algorithmic and implementation techniques that lead to faster field arithmetic computations. A software implementation of the above improvements on an Intel Skylake Core i7-6700 processor gives a factor 1.33 speedup against the state-of-the-art software implementation of the SIDH protocol reported by Costello-Longa-Naehrig in CRYPTO 2016. Armando Faz-Hernández, Julio López 0002, Eduardo Ochoa-Jiménez, Francisco Rodríguez-Henríquez |
IEEE Trans. Computers | 1 |
| 2017 | How to (Pre-)Compute a Ladder - Improving the Performance of X25519 and X448
Thomaz Oliveira, Julio López 0002, Hüseyin Hisil, Armando Faz-Hernández, Francisco Rodríguez-Henríquez |
SAC | 4 |
| 2014 | Efficient and Secure Algorithms for GLV-Based Scalar Multiplication and Their Implementation on GLV-GLS Curves
Armando Faz-Hernández, Patrick Longa, Ana Helena Sánchez |
CT-RSA | 1 |
| 2011 | Software Implementation of Binary Elliptic Curves: Impact of the Carry-Less Multiplier on Scalar Multiplication
Jonathan Taverne, Armando Faz-Hernández, Diego F. Aranha, Francisco Rodríguez-Henríquez, Darrel Hankerson, Julio López 0002 |
CHES | 2 |