Concepedia

J. Cazin

JC

Statistics

Publications

3

Citations

89

H-Index

3

Active since

2000

Affiliations

Laboratoire Génie et Matériaux Textiles(Current)

Office National d'Études et de Recherches Aérospatiales

J. Cazin is an author at Laboratoire Génie et Matériaux Textiles specializing in computer science, computing, and access control.

Publications per year

2000–2012

3

Publications

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

, , +12

Formal Verification of Critical Aerospace Software

Virginie Wiels, Robert C. delMas, David Doose et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 30 citations · Full text

, , +17

Electronic Purse Applet Certification

Pierre Bieber, J. Cazin, Virginie Wiels et al. · Electronic Notes in Theoretical Computer Science · 2000 · 16 citations · Full text

, , +13

1–3 of 3