ProfileOfResearchers

TÃTULO: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLICAÇÃO: 2023, FONTE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 14

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLICAÇÃO: 2023, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, NÚMERO: 3

INDEXADO EM:

Scopus

DBLP

CrossRef: 5

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Kyber terminates
AUTORES: Manuel Barbosa ; Peter Schwabe;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023

INDEXADO EM:

DBLP

TÃTULO: Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+
AUTORES: Barbosa, Manuel ; Dupressoir, Francois; Gregoire, Benjamin; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLICAÇÃO: 2023, FONTE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Machine-Checked Security for $$\textrm{XMSS} $$ as in RFC 8391 and $$\mathrm {SPHINCS^{+}} $$
AUTORES: Manuel Barbosa ; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2023

INDEXADO EM:

CrossRef: 1

NO MEU:

ORCID |

CIÊNCIAVITAE

TÃTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2023, FONTE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, NÚMERO: 3

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 1

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Rogue key and impersonation attacks on FIDO2: From theory to practice
AUTORES: Barbosa, Manuel ; Cirne, Andre ; Esquivel, Luis ;
PUBLICAÇÃO: 2023, FONTE: 18th International Conference on Availability, Reliability and Security (ARES) in 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 3

Unpaywall

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: The security of Kyber's FO-transform
AUTORES: Manuel Barbosa ; Andreas Hülsing;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023

INDEXADO EM:

DBLP

TÃTULO: A formal treatment of the role of verified compilers in secure computation
AUTORES: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 3

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Deploying Decentralized, Privacy-Preserving Proximity Tracing PDF Full Text
AUTORES: Carmela Troncoso; Mathias Payer; Jean Pierre Hubaux; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks; Theresa Stadler; Apostolos Pyrgelis; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson; Srdjan Capkun; David A Basin; Jan Beutel; Dennis Jackson; Marc Roeschlin; Patrick Leu; Bart Preneel; Nigel P Smart; Aysajan Abidin; Seda F Gürses; Michael Veale; Cas Cremers; Michael Backes; Nils Ole Tippenhauer; Reuben Binns; Ciro Cattuto; Alain Barrat; Dario Fiore; Manuel Barbosa ; Rui Oliveira ; José Pereira ; ...Mais
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 9

INDEXADO EM:

Scopus

WOS

DBLP