@inproceedings{Andronick_CL_03,
    address          = {Rome, Italy},
    author           = {June Andronick and Boutheina Chetali and Olivier Ly},
    booktitle        = {International Conference on Theorem Proving in Higher Order Logics},
    editor           = {D. A. Basin and B. Wolff},
    isbn             = {3-540-40664-6},
    month            = sep,
    pages            = {335--351},
    paperUrl         = {https://trustworthy.systems/publications/papers/Andronick_CL_03.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {{Using Coq to Verify Java Card Applet Isolation Properties}},
    volume           = {2758},
    year             = {2003}
  }