252 search results - page 26 / 51 » Protecting Software Code by Guards |
DRM
2003
Springer
15 years 5 months ago
2003
Springer
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...
106
click to vote
SAFECOMP
2005
Springer
15 years 5 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...