LAFOURCADE - Pascal
F107 ISIMA
pascal.lafourcade@uca.fr
04 73 40 71 17
06 83 54 90 70
Researcher teacher
https://sancy.iut.uca.fr/~lafourcade
https://perso.limos.fr/~palafour
Axis ICS : Information and Communication Systems
Theme(s) : Network and Security
Spécialiste en sécurité, méthodes formelles et cryptographie
Last publication(s) at LIMOS :
All publications of Pascal LAFOURCADE at LIMOS
Last publication(s) at LIMOS :
Last publication(s) at 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
COUV |
David Gerault, Pascal Lafourcade, Léo Robert
Distance-Bounding Protocols |
Informatique/Intelligence artificielle |