Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

Armando Faz-Hernández

dblp:49/10243 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Cloud and datacenter computing
access control
0.712023
Portunus: Re-imagining Access Control in Distributed Systems · USENIX ATC 2023
Distributed systems › distributed system security
distributed access control
0.712023
Portunus: Re-imagining Access Control in Distributed Systems · USENIX ATC 2023
Cryptographic primitives and cryptanalysis › public-key cryptography › elliptic curve
elliptic-curve arithmetic
0.312018
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.312018
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.312018
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.112011
Software Implementation of Binary Elliptic Curves: Impact of the Carry-Less Multiplier on Scalar Multiplication · CHES 2011
Integrated circuit design
digital circuit design
0.012011
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
YearPublicationVenuePosition
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 ATC4
2021 ZKAttest: Ring and Group Signatures for Existing ECDSA Keys
Armando Faz-Hernández, Watson Ladd, Sai Krishna Deepak Maram
SAC1
2019 High-performance Implementation of Elliptic Curve Cryptography Using Vector Instructions
abstract
Elliptic 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 Protocol
abstract
Since 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. Computers1
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
SAC4
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-RSA1
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
CHES2