-
1دورية أكاديمية
المؤلفون: Amin Abdulrahman, Hanno Becker, Matthias J. Kannwischer, Fabien Klein
المصدر: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 1 (2023)
مصطلحات موضوعية: Superoptimization, Constraint Solving, Cryptography, Post-Quantum Cryptography, Armv8.1-M, AArch64, Computer engineering. Computer hardware, TK7885-7895, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
2دورية أكاديمية
المصدر: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 1 (2021)
مصطلحات موضوعية: Post-Quantum Cryptography, Polynomial multiplication, IoT, Cortex-M55, Cortex-M4, M-profile Vector Extension (MVE), Computer engineering. Computer hardware, TK7885-7895, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Bo-Yin Yang, Shang-Yi Yang
المصدر: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 1 (2021)
مصطلحات موضوعية: NIST PQC, Armv8-A, Neon, Dilithium, Kyber, Saber, Computer engineering. Computer hardware, TK7885-7895, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
4
المؤلفون: Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
المصدر: Proceedings of the ACM on Programming Languages. 7:376-405
مصطلحات موضوعية: Safety, Risk, Reliability and Quality, Software
-
5
المؤلفون: Bo-Yin Yang, Shang-Yi Yang, Matthias J. Kannwischer, Hanno Becker, Vincent Hwang
المصدر: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 1 (2021)
مصطلحات موضوعية: Computer engineering. Computer hardware, NIST PQC, Chemistry, chemistry.chemical_element, Neon, Information technology, T58.5-58.64, Armv8-A, TK7885-7895, Dilithium, Crystallography, chemistry.chemical_compound, medicine.anatomical_structure, Saber, Cortex (anatomy), medicine, Kyber
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a6b05ca1e853346297be4bbb0039afa
https://doi.org/10.46586/tches.v2022.i1.221-244 -
6
المؤلفون: Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Lorenz Panny, Bo-Yin Yang
المصدر: Advances in Information and Computer Security ISBN: 9783031152542
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cdfb8a23dfb1bc3dbbb6ff10eb08cf10
https://doi.org/10.1007/978-3-031-15255-9_1 -
7
المؤلفون: Hanno Becker, Matthias J. Kannwischer
المصدر: Lecture Notes in Computer Science ISBN: 9783031229114
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a93bc005d365a3273e25eeebf2fe901d
https://doi.org/10.1007/978-3-031-22912-1_12 -
8
المصدر: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 1 (2021)
مصطلحات موضوعية: Discrete mathematics, TK7885-7895, IoT, Computer engineering. Computer hardware, Computer science, Cortex-M4, M-profile Vector Extension (MVE), Polynomial multiplication, Post-Quantum Cryptography, Cortex-M55, Information technology, T58.5-58.64
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb5215c16a44b2e0eabb92529e9dc828
https://tches.iacr.org/index.php/TCHES/article/view/9305 -
9
المؤلفون: Keiko Nakata, Jorge Luis Sacchini, Hanno Becker, Juan Manuel Crespo, Thomas Tuerk, Hendrik Tews, Yoichi Hirai, Ulrich Hensel, Jacek Galowicz, César Kunz
المصدر: FM 2016: Formal Methods ISBN: 9783319489889
FMمصطلحات موضوعية: Model-based testing, Commercial software, Programming language, Computer science, business.industry, 020207 software engineering, Hypervisor, 02 engineering and technology, Virtualization, computer.software_genre, Formal methods, Software, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Conformance testing, Software engineering, business, computer, Formal verification, Implementation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::46bcd1670ca8148f5f1bfd2c01c4d1f5
https://doi.org/10.1007/978-3-319-48989-6_5 -
10
المؤلفون: Hanno Becker
مصطلحات موضوعية: Pure mathematics, Homotopy category, General Mathematics, Mathematics - Category Theory, Matrix (mathematics), Transfer (group theory), Singularity, Mathematics::Category Theory, FOS: Mathematics, Category Theory (math.CT), Special case, Abelian group, Connection (algebraic framework), Representation Theory (math.RT), Differential (mathematics), Mathematics - Representation Theory, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ce2f004ef240e1eb32c81a76773c94c
http://arxiv.org/abs/1205.4473