Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Hanno Becker"'
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 1 (2023)
Handwritten assembly is a widely used tool in the development of highperformance cryptography: By providing full control over instruction selection, instruction scheduling, and register allocation, highest performance can be unlocked. On the flip sid
Externí odkaz:
https://doaj.org/article/a535fe408b5a476386b59dcac10fdcd0
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 1 (2021)
High-degree, low-precision polynomial arithmetic is a fundamental computational primitive underlying structured lattice based cryptography. Its algorithmic properties and suitability for implementation on different compute platforms is an active area
Externí odkaz:
https://doaj.org/article/14960de09daa41c9ac5a32eb740c9297
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 1 (2021)
We present new speed records on the Armv8-A architecture for the latticebased schemes Dilithium, Kyber, and Saber. The core novelty in this paper is the combination of Montgomery multiplication and Barrett reduction resulting in “Barrett multiplica
Externí odkaz:
https://doaj.org/article/b2b6a32b59d74cc29aa0ddce37e21ace
Autor:
Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:376-405
We present Arm's efforts in verifying the specification and prototype reference implementation of the Realm Management Monitor (RMM), an essential firmware component of Arm Confidential Computing Architecture (Arm CCA), the recently-announced Confide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d02bd73c6f1972b60200211e95204eb9
https://doi.org/10.1145/3586040
https://doi.org/10.1145/3586040
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 1 (2021)
We present new speed records on the Armv8-A architecture for the latticebased schemes Dilithium, Kyber, and Saber. The core novelty in this paper is the combination of Montgomery multiplication and Barrett reduction resulting in “Barrett multiplica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a6b05ca1e853346297be4bbb0039afa
https://doi.org/10.46586/tches.v2022.i1.221-244
https://doi.org/10.46586/tches.v2022.i1.221-244
Publikováno v:
Advances in Information and Computer Security ISBN: 9783031152542
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cdfb8a23dfb1bc3dbbb6ff10eb08cf10
https://doi.org/10.1007/978-3-031-15255-9_1
https://doi.org/10.1007/978-3-031-15255-9_1
Autor:
Hanno Becker, Matthias J. Kannwischer
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031229114
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a93bc005d365a3273e25eeebf2fe901d
https://doi.org/10.1007/978-3-031-22912-1_12
https://doi.org/10.1007/978-3-031-22912-1_12
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 1 (2021)
High-degree, low-precision polynomial arithmetic is a fundamental computational primitive underlying structured lattice based cryptography. Its algorithmic properties and suitability for implementation on different compute platforms is an active area
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb5215c16a44b2e0eabb92529e9dc828
https://tches.iacr.org/index.php/TCHES/article/view/9305
https://tches.iacr.org/index.php/TCHES/article/view/9305
Autor:
Keiko Nakata, Jorge Luis Sacchini, Hanno Becker, Juan Manuel Crespo, Thomas Tuerk, Hendrik Tews, Yoichi Hirai, Ulrich Hensel, Jacek Galowicz, César Kunz
Publikováno v:
FM 2016: Formal Methods ISBN: 9783319489889
FM
FM
Virtualization engines play a critical role in many modern software products. In an effort to gain definitive confidence on critical components, our company has invested on the formal verification of the NOVA micro hypervisor, following recent advanc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46bcd1670ca8148f5f1bfd2c01c4d1f5
https://doi.org/10.1007/978-3-319-48989-6_5
https://doi.org/10.1007/978-3-319-48989-6_5
Autor:
Hanno Becker
In this article we construct various models for singularity categories of modules over differential graded rings. The main technique is the connection between abelian model structures, cotorsion pairs and deconstructible classes, and our construction
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ce2f004ef240e1eb32c81a76773c94c
http://arxiv.org/abs/1205.4473
http://arxiv.org/abs/1205.4473