( en | de | ru )

 

Disambiguation of "Yang, Bo-Yin"

Author of the publication

copydeleteadd this publication to your clipboard
Signed Cryptographic Program Verification with Typed CryptoLine.

, , , , , and . CCS, page 1591-1606. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bo Yin

Yin Yang

Bo Yang

Bo Yang

Bo Yang

 

Other publications of authors with the same name

l-Invertible Cycles for Multivariate Quadratic (MQ) Public Key Cryptography., , and . Public Key Cryptography, volume 4450 of Lecture Notes in Computer Science, page 266-281. Springer, (2007)Implementing 128-Bit Secure MPKC Signatures., , , , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 101-A (3): 553-569 (2018)Secure PRNGs from Specialized Polynomial Maps over Any ., , and . PQCrypto, volume 5299 of Lecture Notes in Computer Science, page 181-202. Springer, (2008)Square, a New Multivariate Encryption Scheme., , , , and . CT-RSA, volume 5473 of Lecture Notes in Computer Science, page 252-264. Springer, (2009)Building Secure Tame-like Multivariate Public-Key Cryptosystems: The New TTS., and . ACISP, volume 3574 of Lecture Notes in Computer Science, page 518-531. Springer, (2005)Efficient String-Commitment from Weak Bit-Commitment., , , and . ASIACRYPT, volume 6477 of Lecture Notes in Computer Science, page 268-282. Springer, (2010)Neon NTT: Faster Dilithium, Kyber, and Saber on Cortex-A72 and Apple M1., , , , and . IACR Cryptol. ePrint Arch., (2021)Multi-Parameter Support with NTTs for NTRU and NTRU Prime on Cortex-M4., , and . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022 (4): 349-371 (2022)Certified Verification for Algebraic Abstraction., , , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 329-349. Springer, (2023)Multiplying boolean Polynomials with Frobenius Partitions in Additive Fast Fourier Transform., , , , and . CoRR, (2018)