Citations

• 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)

• 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.

• M. Avvenuti, C. Bernardeschi, N. De Francesco, and P. Masci. JCSI: A tool for checking secure information flow in java card applications. Journal of Systems and Software, 85(11):2479–2493, 2012. (doi:10.1016/j.jss.2012.05.061)

• R.N. Akram, K. Markantonakis, and K. Mayes. Enhancing java runtime environment for smart cards against runtime attacks. 20th European Symposium on Research in Computer Security, ESORICS 2015, 9327:541–560, 2015. (doi:10.1007/978-3-319-24177-7_27)

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.