Artikel mit Open-Access-Mandaten - Bo-Yin YangWeitere Informationen
Verfügbar: 16
Design principles for HFEv-based multivariate signature schemes
A Petzoldt, MS Chen, BY Yang, C Tao, J Ding
Advances in Cryptology--ASIACRYPT 2015: 21st International Conference on the …, 2015
Mandate: Chinese Academy of Sciences, National Natural Science Foundation of China
NTT multiplication for NTT-unfriendly rings: New speed records for Saber and NTRU on Cortex-M4 and AVX2
CMM Chung, V Hwang, MJ Kannwischer, G Seiler, CJ Shih, BY Yang
IACR Transactions on Cryptographic Hardware and Embedded Systems, 159-188, 2021
Mandate: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung …
Fast constant-time gcd computation and modular inversion
DJ Bernstein, BY Yang
IACR Transactions on Cryptographic Hardware and Embedded Systems, 340-398, 2019
Mandate: US National Science Foundation, Deutsche Forschungsgemeinschaft, Netherlands …
Extreme Enumeration on GPU and in Clouds: -How Many Dollars You Need to Break SVP Challenges
PC Kuo, M Schneider, Ö Dagdelen, J Reichelt, J Buchmann, CM Cheng, ...
Cryptographic Hardware and Embedded Systems–CHES 2011: 13th International …, 2011
Mandate: Deutsche Forschungsgemeinschaft
Polynomial Multiplication in NTRU Prime: Comparison of Optimization Strategies on Cortex-M4
E Alkim, DYL Cheng, CMM Chung, H Evkan, LWL Huang, V Hwang, ...
IACR Transactions on Cryptographic Hardware and Embedded Systems 2021 (1 …, 2020
Mandate: Bundesministerium für Bildung und Forschung
Asymptotically faster quantum algorithms to solve multivariate quadratic equations
DJ Bernstein, BY Yang
International Conference on Post-Quantum Cryptography, 487-506, 2018
Mandate: US National Science Foundation, Netherlands Organisation for Scientific Research
Signed cryptographic program verification with typed cryptoline
YF Fu, J Liu, X Shi, MH Tsai, BY Wang, BY Yang
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
Mandate: National Natural Science Foundation of China
Verifying post-quantum signatures in 8 kB of RAM
R Gonzalez, A Hülsing, MJ Kannwischer, J Krämer, T Lange, M Stöttinger, ...
Post-Quantum Cryptography: 12th International Workshop, PQCrypto 2021 …, 2021
Mandate: Deutsche Forschungsgemeinschaft, Netherlands Organisation for Scientific …
Verifying arithmetic in cryptographic C programs
J Liu, X Shi, MH Tsai, BY Wang, BY Yang
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
Mandate: National Natural Science Foundation of China
Rainbow on cortex-M4
T Chou, MJ Kannwischer, BY Yang
IACR Transactions on Cryptographic Hardware and Embedded Systems, 650-675, 2021
Mandate: European Commission
Verified NTT multiplications for NISTPQC KEM lattice finalists: Kyber, SABER, and NTRU
V Hwang, J Liu, G Seiler, X Shi, MH Tsai, BY Wang, BY Yang
IACR Transactions on Cryptographic Hardware and Embedded Systems, 718-750, 2022
Mandate: National Natural Science Foundation of China
CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver
X Shi, YF Fu, J Liu, MH Tsai, BY Wang, BY Yang
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
Mandate: National Natural Science Foundation of China
A physical study of the LLL algorithm
J Ding, S Kim, T Takagi, Y Wang, B Yang
Journal of Number Theory 244, 339-368, 2023
Mandate: US National Science Foundation
Certified Verification for Algebraic Abstraction
MH Tsai, YF Fu, J Liu, X Shi, BY Wang, BY Yang
International Conference on Computer Aided Verification, 329-349, 2023
Mandate: National Natural Science Foundation of China
CoqCryptoLine: A Verified Model Checker with Certified Results
MH Tsai, YF Fu, J Liu, X Shi, BY Wang, BY Yang
International Conference on Computer Aided Verification, 227-240, 2023
Mandate: National Natural Science Foundation of China
Advances in security research in the Asiacrypt region
RCW Phan, M Abe, L Batten, JH Cheon, E Dawson, S Galbraith, J Guo, ...
Communications of the ACM 63 (4), 76-81, 2020
Mandate: National Natural Science Foundation of China
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt