Rogue key and impersonation attacks on FIDO2: From theory to practice. - Manuel Barbosa; André Cirne; Luís Esquível (ARES, 2023)

Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt. - José Bacelar Almeida; Gustavo Xavier Delerue Marinho Alves; Manuel Barbosa; Gilles Barthe; Luís Esquível; Vincent Hwang; Tiago Oliveira 004; Hugo Pacheco 001; Peter Schwabe; Pierre-Yves Strub (SP, 2025)

Revisiting the Security and Privacy of FIDO2. - Manuel Barbosa; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível (IACR Cryptol. ePrint Arch., 2025)

Privacy and Security of FIDO2 Revisited. - Manuel Barbosa; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível (Proc. Priv. Enhancing Technol., 2025)