985 search results - page 56 / 197 » On the validity of digital signatures |
PASTE
2004
ACM
14 years 2 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
IEEEARES
2008
IEEE
14 years 3 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
DELTA
2008
IEEE
14 years 3 months ago
2008
IEEE
Integrated systems represent the most common solution for storage and transmission of confidential data. However, cryptographic devices can be subject to passive attacks that cons...
FPL
1999
Springer
14 years 1 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
Previous work showed that statistical analysis techniques could successfully be used to construct compact signatures of distinct operational problems in Internet server systems. B...