🔍
Universities Open Search Directory ➔
🏛️ INRIA
Rocquencourt, France
Dr. Lucca H***
✓
🟢 Active Research Lab • Accepting 2026–2027 Inquiries

Dr. Lucca H***

Directeur de recherche
📍 Centre Inria de l'Université de Lorraine • INRIA
440
Total Citations
7
H-Index
36
Peer-Reviewed Works

🔬 Primary Research Focus & Keywords

Formal Methods Verification Tools Symbolic Protocol Verification Prover Odyssey Forty Years Symbolic Protocol Verification Industrial control systems ICS Formal analysis OPC UA Comprehensive Formal Security Analysis Ponse Projet Recommandation Lectronique Election Eligibility Openid Turning Authentication Transferable Proof Fuzzing Dolev-yao Models Cryptographic

📚 Laboratory Publications & Research Record

2024 Peer-Reviewed Article 📊 22 citations

Advancements in Formal Methods: Contemporary Methods & Empirical Analysis

📖 Journal of Centre Inria de l'Université de Lorraine
2024 Peer-Reviewed Article 📊 13 citations

Algorithmic Frameworks for Verification Tools: Systematic Experimental Evaluation

📖 Transactions on Formal Methods
2023 Peer-Reviewed Article 📊 30 citations

A Comprehensive Review of Symbolic Protocol Verification in Higher Education and Industry

📖 International Annals of INRIA
Unlock Full Profile

Sign up free to view verified email, lab website, and complete publications.

Sign Up Free ➔
52 free unlocks/year • Sign in

👥 Other Supervisors in Centre Inria de l'Université de Lorraine

Serena I***
Serena I***
Professeur des universités • Centre Inria de l'Université de Lorraine
📊 4,275 citations • h-index 31
 Mostafa S***
Mostafa S***
Professeur des universités • Centre Inria de l'Université de Lorraine
📊 1,436 citations • h-index 21
 Nazim F***
Nazim F***
Professeur des universités • Centre Inria de l'Université de Lorraine
📊 1,383 citations • h-index 20
 Alexandre M***
Alexandre M***
Maître de conférences • Centre Inria de l'Université de Lorraine
📊 550 citations • h-index 7