( en | de | ru )

 

Disambiguierung von "Yang, Bo-Yin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.

, , , , , und . IACR Cryptol. ePrint Arch., (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bo Yin

Yin Yang

Bo Yang

Bo Yang

Bo Yang

 

Weitere Publikationen von Autoren mit dem selben Namen

Secure PRNGs from Specialized Polynomial Maps over Any ., , und . PQCrypto, Volume 5299 von Lecture Notes in Computer Science, Seite 181-202. Springer, (2008)Multi-Parameter Support with NTTs for NTRU and NTRU Prime on Cortex-M4., , und . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022 (4): 349-371 (2022)Neon NTT: Faster Dilithium, Kyber, and Saber on Cortex-A72 and Apple M1., , , , und . IACR Cryptol. ePrint Arch., (2021)Verifying Arithmetic in Cryptographic C Programs., , , , und . ASE, Seite 552-564. IEEE, (2019)Certified Verification for Algebraic Abstraction., , , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 329-349. Springer, (2023)ECM on Graphics Cards., , , , und . IACR Cryptology ePrint Archive, (2008)Multiplying boolean Polynomials with Frobenius Partitions in Additive Fast Fourier Transform., , , , und . CoRR, (2018)Efficient String-Commitment from Weak Bit-Commitment., , , und . ASIACRYPT, Volume 6477 von Lecture Notes in Computer Science, Seite 268-282. Springer, (2010)Building Secure Tame-like Multivariate Public-Key Cryptosystems: The New TTS., und . ACISP, Volume 3574 von Lecture Notes in Computer Science, Seite 518-531. Springer, (2005)Square, a New Multivariate Encryption Scheme., , , , und . CT-RSA, Volume 5473 von Lecture Notes in Computer Science, Seite 252-264. Springer, (2009)