LAFOURCADE - Pascal



F107 ISIMA
pascal.lafourcade@uca.fr
04 73 40 71 17
06 83 54 90 70
Enseignant chercheur
https://sancy.iut.uca.fr/~lafourcade
https://perso.limos.fr/~palafour
Axe SIC : Systèmes d’Information et de Communication
Thème(s) : Réseau et sécurité

Spécialiste en sécurité, méthodes formelles et cryptographie

Dernière(s) publication(s) au LIMOS :

Toutes les publications de Pascal LAFOURCADE au LIMOS

Dernière(s) publication(s) au LIMOS :
2025
COMM
Ayoub Ben Hassen, Dhekra Mahmoud, Pascal Lafourcade, Maxime Puys
Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability
20th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2025) - 2025
Informatique/Cryptographie et sécurité
2025
COMM
Charles Olivier-Anclin, Ioana Boureanu, Liqun Chen, Christopher Newton, Tom Chothia, Anna Clee, Andreas Kokkinis, Pascal Lafourcade
Who Pays Whom? Anonymous EMV-Compliant Contactless Payments
34th USENIX Security Symposium 2025 - 2025
Informatique/Cryptographie et sécurité
2024
COMM
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
Secure Voting Protocol Using Balance Scale
17th International Symposium on Foundations & Practice of Security (FPS – 2024). - 2024
Informatique/Cryptographie et sécurité
2024
ART
Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki
ZKP Protocols for Usowan, Herugolf, and Five Cells
Tsinghua Science and Technology - 2024
2024
COMM
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles
Information Security Conference - 2024
Informatique/Cryptographie et sécurité