2213 search results - page 424 / 443 » Software Security |
117
click to vote
CCS
2006
ACM
15 years 3 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
100
click to vote
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
104
click to vote
TSE
2008
14 years 11 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
108
click to vote
NDSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
120
click to vote
IISWC
2008
IEEE
15 years 6 months ago
2008
IEEE
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...