Luís Esquível

According to our database, Luís Esquível authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Privacy and Security of FIDO2 Revisited.

Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Kaishuo Cheng, Luís Esquível

Proc. Priv. Enhancing Technol., 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

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, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub

Proceedings of the IEEE Symposium on Security and Privacy, 2025

2023

Rogue key and impersonation attacks on FIDO2: From theory to practice.

Manuel Barbosa, André Cirne, Luís Esquível

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023