Skip to content

Scientist · Computer Science

Lucca Hirschi

PESTO: Techniques de Preuves pour les Protocoles de Sécurité, Villers-lès-Nancy, France

iD0000-0003-4572-0581

Citations, last 5 years: 28
Works, last 5 years: 7
h-index: 12
Citations, all time: 846
In Computer Science: #227,367

Research topics

Advanced Authentication Protocols Security31Computer Science
Formal Methods in Verification24Computer Science
Logic, programming, and type systems14Computer Science
Cryptography and Data Security11Computer Science
Internet Traffic Analysis and Secure E-voting8Computer Science

Recent works

Discussion

Ask Lucca about their research. When the scientist claims this card, they will see your question.

Start a discussion