Countering type confusion and buffer overflow attacks on Java smart cards by data type sensitive obfuscation.
Michael LacknerReinhard BerlachReinhold WeissChristian StegerPublished in: CS2@HiPEAC (2014)
Keyphrases
- data types
- smart card
- java card
- buffer overflow
- static analysis
- type checking
- security mechanisms
- security problems
- differential power analysis
- power analysis
- security requirements
- data corruption
- countermeasures
- control flow
- data structure
- data model
- remote user authentication scheme
- database management systems
- database systems
- information security
- source code
- abstract data types
- database applications
- programming language
- virtual machine
- lightweight
- rare events
- access control
- nearest neighbor