506 search results - page 63 / 102 » Where Is the Value in a Program Verifier |
109
click to vote
ICNP
2006
IEEE
15 years 6 months ago
2006
IEEE
— File distribution via network coding has received a lot of attention lately. However, direct application of network coding may have security problems. In particular, attackers ...
130
Voted
CORR
2002
Springer
15 years 10 days ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
92
Voted
AI
2006
Springer
15 years 18 days ago
2006
Springer
Deeper searches in game-playing programs relying on the minimax principle generally produce better results. Theoretical analyses, however, suggest that in many cases minimaxing am...
105
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
117
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...