Hanno Becker

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