Sign in

Memory-efficient on-card byte code verification for Java cards.

Reinhard BerlachMichael LacknerChristian StegerJohannes LoinigErnst Haselsteiner
Published in: CS2@HiPEAC (2014)
Keyphrases
  • byte code
  • memory efficient
  • java card
  • smart card
  • security requirements
  • java virtual machine
  • rfid tags
  • static analysis
  • low cost
  • information security
  • security analysis
  • android application
  • database systems
  • source code