357 search results - page 55 / 72 » Code security analysis with assertions |
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
VIZSEC
2004
Springer
14 years 3 months ago
2004
Springer
This paper concentrates on visualizing computer viruses without using virus specific signature information as a prior stage of the very important problem of detecting computer vi...
WWW
2009
ACM
14 years 10 months ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...
FGCN
2008
IEEE
14 years 4 months ago
2008
IEEE
The proposed broadcast authentication protocols for wireless sensor networks can be divided into two categories: protocols based on digital signature and protocols based on improv...
CCS
2006
ACM
14 years 1 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,...