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
ART |
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Infinite grid exploration with synchronous myopic robots without chirality Discrete Applied Mathematics - 2025 |
Informatique/Calcul parallèle, distribué et partagé |
| 2025
COMM |
Pascal Lafourcade, Elsa Lopez Perez, Charles Olivier-Anclin, Cristina Onete, Clément Papon, Mališa Vučinić
Fine-grained, privacy-augmenting LI-compliance in the LAKE standard - Extended version ESORICS 2025 - 30th European Symposium on Research in Computer Security - 2025 |
Informatique/Cryptographie et sécurité |
| 2025
COMM |
Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona
Post-Compromise Security with Application-Level Key-Controls – with a comprehensive study of the 5G AKMA protocol ASIA CCS '25: 20th ACM Asia Conference on Computer and Communications Security - 2025 |
|
| 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é |