1629 search results - page 206 / 326 » Infeasible Code Detection |
125
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Hash algorithms are a class of cryptographic primitives used for fulfilling the requirements of integrity and authentication in cryptography. In this paper, we propose and present...
123
click to vote
IAW
2003
IEEE
15 years 6 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
ICDCS
2003
IEEE
15 years 6 months ago
2003
IEEE
Remotely executing mobile code introduces a plethora of security problems. This paper examines the “external agent replay” attack, identifies the notion of one-way program st...
SACRYPT
1998
Springer
15 years 5 months ago
1998
Springer
Maurer's universal test is a very common randomness test, capable of detecting a wide gamut of statistical defects. The algorithm is simple (a few Java code lines), flexible (...
106
click to vote
PLILP
1994
Springer
15 years 5 months ago
1994
Springer
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...