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 001; Jorge Luis Sacchini; Hendrik Tews; Thomas Tuerk (FM, 2016)

Hybrid Scalar/Vector Implementations of Keccak and SPHINCS+ on AArch64. - Hanno Becker; Matthias J. Kannwischer (INDOCRYPT, 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 (IACR Cryptol. ePrint Arch., 2022)

Towards perfect CRYSTALS in Helium. - Hanno Becker; Fabien Klein (IACR Cryptol. ePrint Arch., 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)

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)

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., 2023)

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)