Statistics
Publications
3
Citations
81
H-Index
3
Active since
2000
Affiliations
J.-L. Lanet is an author at Laboratoire Génie et Matériaux Textiles specializing in computing, computer science, and smart card authentication.
Publications per year
2000–2004
3
3
Checking secure interactions of smart card applets: extended version1
Pierre Bieber, J. Cazin, Pierre Girard et al. · Journal of Computer Security · 2002 · 43 citations
A case study in JML-based software validation
Lydie du Bousquet, Yves Ledru, Olivier Maury et al. · 2004 · 22 citations
Electronic Purse Applet Certification
Pierre Bieber, J. Cazin, Virginie Wiels et al. · Electronic Notes in Theoretical Computer Science · 2000 · 16 citations · Full text
1–3 of 3