LAFOURCADE - Pascal



F107 ISIMA
pascal.lafourcade@uca.fr
04 73 40 71 17
06 83 54 90 70
Enseignant chercheur
http://sancy.univ-bpclermont.fr/~lafourcade/
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 :
2022
COMM
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking
ACNS - 2022
Informatique/Cryptographie et sécurité
2022
ART
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert
Generic Construction for Identity-based Proxy Blind Signature
Lecture Notes in Computer Science - 2022
Informatique/Cryptographie et sécurité
2022
COMM
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing
Symposium on Applied Computing (SAC) - 2022
Informatique/Cryptographie et sécurité
2021
COMM
Luc Libralesso, François Delobel, Pascal Lafourcade, Christine Solnon
Automatic Generation of Declarative Models for Differential Cryptanalysis
CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming - 2021
Informatique/Cryptographie et sécurité
2021
COMM
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Cramer-Shoup Cryptosystem
18th International Conference on Security and Cryptography, SECRYPT 2021 - 2021
Informatique/Cryptographie et sécurité