Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Pascal Lafourcade
Pascal Lafourcade
at_id:
orcid_id:
Disciplines:
Computer sciences
Electrical engineering
Edit
Merge
See Links
Thesis:
Vérification de protocoles cryptographiques en présence de théories équationnelles
Étude des manipulateurs parallèles à câbles : conception d'une suspension active pour soufflerie
Directed Thesis:
Secure Distributed MapReduce Protocols : How to have privacy-preserving cloud applications?
Security analysis of contactless communication protocols
Mécanismes de délégation pour les primitives de cryptographie à clé publique
Protocols and models for the security of wireless ad-hoc networks
Formal Verification of Voting and Auction Protocols : From Privacy to Fairness and Verifiability