( en | de | ru )

 

Disambiguierung von "Barbosa, Manuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SoK: Computer-Aided Cryptography.

, , , , , , und . SP, Seite 777-795. IEEE, (2021)

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

Foundations of Hardware-Based Attested Computation and Application to SGX., , , und . EuroS&P, Seite 245-260. IEEE, (2016)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)Execution Time Program Verification with Tight Bounds., , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 56-72. Springer, (2023)EasyPQC: Verifying Post-Quantum Cryptography., , , , , , , , und . CCS, Seite 2564-2586. ACM, (2021)Provable Security Analysis of FIDO2., , , und . IACR Cryptol. ePrint Arch., (2020)Certificateless signcryption., und . AsiaCCS, Seite 369-372. ACM, (2008)The Last Mile: High-Assurance and High-Speed Cryptographic Implementations., , , , , , , und . SP, Seite 965-982. IEEE, (2020)Bare PAKE: Universally Composable Key Exchange from Just Passwords., , , und . CRYPTO (2), Volume 14921 von Lecture Notes in Computer Science, Seite 183-217. Springer, (2024)