June Andronick, Boutheina Chetali, Olivier Ly. Using Coq to Verify Java Card Applet Isolation Properties. In David A. Basin, Burkhart Wolff, editors, Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Volume 2758 of Lecture Notes in Computer Science, pages 335-351, Springer, 2003. [doi]
Abstract is missing.