( en | de | ru )

 

Disambiguierung von "Barbosa, Manuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.

, , , , und . CCS, Seite 2541-2563. ACM, (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

Flavio Barbosa

Álvaro Barbosa

Pedro Barbosa

Alvaro Barbosa

 

Weitere Publikationen von Autoren mit dem selben Namen

Certificateless signcryption., und . AsiaCCS, Seite 369-372. ACM, (2008)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)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)Foundations of Hardware-Based Attested Computation and Application to SGX., , , und . EuroS&P, Seite 245-260. IEEE, (2016)Provable Security Analysis of FIDO2., , , und . IACR Cryptol. ePrint Arch., (2020)EasyPQC: Verifying Post-Quantum Cryptography., , , , , , , , und . CCS, Seite 2564-2586. ACM, (2021)Execution Time Program Verification with Tight Bounds., , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 56-72. Springer, (2023)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)