( en | de | ru )

 

Disambiguierung von "Barbosa, Manuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formally verifying Kyber Episode IV: Implementation correctness.

, , , , , , , , , , , und . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023 (3): 164-193 (2023)

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.

Juan Manuel Alfaro Barbosa

Álvaro Barbosa

Flavio Barbosa

Alvaro Barbosa

Pedro Barbosa

 

Weitere Publikationen von Autoren mit dem selben Namen

Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation., und . CT-RSA, Volume 7178 von Lecture Notes in Computer Science, Seite 296-312. Springer, (2012)Strong Knowledge Extractors for Public-Key Encryption Schemes., und . ACISP, Volume 6168 von Lecture Notes in Computer Science, Seite 164-181. Springer, (2010)Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles., und . ACISP, Volume 6168 von Lecture Notes in Computer Science, Seite 145-163. Springer, (2010)Foundations of Hardware-Based Attested Computation and Application to SGX., , , und . EuroS&P, Seite 245-260. IEEE, (2016)Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography., , und . J. Cryptol., 22 (2): 259-281 (2009)Certificateless signcryption., und . AsiaCCS, Seite 369-372. ACM, (2008)Provable Security Analysis of FIDO2., , , und . IACR Cryptol. ePrint Arch., (2020)Secure Conflict-free Replicated Data Types., , , , und . IACR Cryptol. ePrint Arch., (2020)Formal verification of side-channel countermeasures using self-composition., , , und . Sci. Comput. Program., 78 (7): 796-812 (2013)Bare PAKE: Universally Composable Key Exchange from just Passwords., , , und . IACR Cryptol. ePrint Arch., (2024)