Hanno Becker

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Cerebral Cortex

Constraint Solver

Formal Analysis

Top Venues

IACR Cryptol. ePrint Arch.

IACR Trans. Cryptogr. Hardw. Embed. Syst.

Proc. ACM Program. Lang.

Publications

Amin Abdulrahman, Hanno Becker, Matthias J. Kannwischer, Fabien Klein
Fast and Clean: Auditable high-performance assembly via constraint solving. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (1) (2024)
Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Hanno Becker, Jose Maria Bermudo Mera, Angshuman Karmakar, Joseph Yiu, Ingrid Verbauwhede
Polynomial multiplication on embedded vector architectures. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (1) (2022)
Hanno Becker, Fabien Klein
Towards perfect CRYSTALS in Helium. IACR Cryptol. ePrint Arch. 2022 (2022)
Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Lorenz Panny, Bo-Yin Yang
Efficient Multiplication of Somewhat Small Integers Using Number-Theoretic Transforms. IWSEC (2022)
Hanno Becker, Matthias J. Kannwischer
on AArch64. INDOCRYPT (2022)
Hanno Becker, Matthias J. Kannwischer
Hybrid scalar/vector implementations of Keccak and SPHINCS+ on AArch64. IACR Cryptol. ePrint Arch. 2022 (2022)
Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Bo-Yin Yang, Shang-Yi Yang
Neon NTT: Faster Dilithium, Kyber, and Saber on Cortex-A72 and Apple M1. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (1) (2022)
Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Lorenz Panny, Bo-Yin Yang
Efficient Multiplication of Somewhat Small Integers using Number-Theoretic Transforms. IACR Cryptol. ePrint Arch. 2022 (2022)
Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Bo-Yin Yang, Shang-Yi Yang
Neon NTT: Faster Dilithium, Kyber, and Saber on Cortex-A72 and Apple M1. IACR Cryptol. ePrint Arch. 2021 (2021)
Hanno Becker, Jose Maria Bermudo Mera, Angshuman Karmakar, Joseph Yiu, Ingrid Verbauwhede
Polynomial multiplication on embedded vector architectures. IACR Cryptol. ePrint Arch. 2021 (2021)
Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM (2016)