Citations
The paper
- Vasilios Almaliotis, Alexandros
Loizidis, Panagiotis Katsaros, Panagiotis Louridas, and Diomidis Spinellis.
Static
program analysis for Java Card applets.
In Gilles Grimaud and François-Xavier Standaert, editors, Smart Card
Research and Advanced Applications — CARDIS 2008: Proceedings of the 8th
IFIP Smart Card Research and Advanced Application Conference, pages
17–31. Springer Verlag, September 2008.
Lecture Notes in Computer Science 5189.
(doi:10.1007/978-3-540-85893-5_2)
has been cited by the following works.
- M. Avvenuti,
C. Bernardeschi, N. De Francesco, and P. Masci.
A tool for checking secure interaction in java cards.
In EWDC 2009: 12th European Workshop on Dependable Computing,
2009.
Home
Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.