Hanno Becker

According to our database, Hanno Becker authored at least 9 papers between 2016 and 2024.

Collaborative distances:

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

2024

Fast and Clean: Auditable high-performance assembly via constraint solving.

Amin Abdulrahman, Hanno Becker, Matthias J. Kannwischer, Fabien Klein

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

2023

A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations.

Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong

Proc. ACM Program. Lang., April, 2023

2022

Polynomial multiplication on embedded vector architectures.

Hanno Becker, Jose Maria Bermudo Mera, Angshuman Karmakar, Joseph Yiu, Ingrid Verbauwhede

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022

Neon NTT: Faster Dilithium, Kyber, and Saber on Cortex-A72 and Apple M1.

Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Bo-Yin Yang, Shang-Yi Yang

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022

Towards perfect CRYSTALS in Helium.

Hanno Becker, Fabien Klein

IACR Cryptol. ePrint Arch., 2022

Hybrid scalar/vector implementations of Keccak and SPHINCS+ on AArch64.

Hanno Becker, Matthias J. Kannwischer

IACR Cryptol. ePrint Arch., 2022

Efficient Multiplication of Somewhat Small Integers using Number-Theoretic Transforms.

Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Lorenz Panny, Bo-Yin Yang

IACR Cryptol. ePrint Arch., 2022

Hybrid Scalar/Vector Implementations of Keccak and SPHINCS⁺ on AArch64.

Hanno Becker, Matthias J. Kannwischer

Proceedings of the Progress in Cryptology - INDOCRYPT 2022, 2022

2016

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk

Proceedings of the FM 2016: Formal Methods, 2016