1116 search results - page 96 / 224 » Key Agreement Using Statically Keyed Authenticators |
110
Voted
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
222
Voted
POPL
2004
ACM
16 years 29 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
109
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
120
Voted
CGO
2004
IEEE
15 years 4 months ago
2004
IEEE
The effective use of processor caches is crucial to the performance of applications. It has been shown that cache misses are not evenly distributed throughout a program. In applic...
87
Voted
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...