Statistics
Publications
1
Citations
12
H-Index
1
Active since
2023
Affiliations
Linard Arquint is an author at Institut de Recherche en Informatique et Systèmes Aléatoires.
Publications per year
2023–2023
1
1
Sound Verification of Security Protocols: From Design to Interoperable Implementations
Linard Arquint, Felix A. Wolf, Joseph Lallemand et al. · 2023 · 12 citations
Rows per page
1–1 of 1