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
Thème(s) : Network and Security

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

Last publications in LIMOS

All the publications of Pascal LAFOURCADE at LIMOS

Last publications in LIMOS
2023
COMM
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment
Usenix Security Symposium - 2023
Informatique/Cryptographie et sécurité
2022
COMM
Aisling Ac Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner
Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric
International Conference on Cryptology in India, INDOCRYP - 2022
Informatique/Cryptographie et sécurité
2022
COMM
Camille Sivelle, Lorys Ld Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models
The 27th Nordic Conference on Secure IT Systems, NordSec - 2022
Informatique/Cryptographie et sécurité
2022
OUV
Pascal Lafourcade, Malika More
15 énigmes ludiques pour s'initier à la programmation Python
Informatique/Cryptographie et sécurité
2022
ART
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal Threshold Padlock Systems
Journal of Computer Security - 2022
Informatique/Cryptographie et sécurité