@inproceedings{Andronick_CL_03, address = {Rome, Italy}, author = {June Andronick and Boutheina Chetali and Olivier Ly}, booktitle = {Proceedings of the 16th 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} }