1599 search results - page 182 / 320 » Program Analysis for Security and Privacy |
129
click to vote
MOC
2010
14 years 11 months ago
2010
Consider the space of two dimensional vector functions whose components and curl are square integrable with respect to the degenerate weight given by the radial variable. This spac...
138
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Wireless Mesh Networks with static Transit Access Points (TAPs) have many advantages to connect different kinds of networks. While Mobile Ad hoc Networks still have many challenges...
148
click to vote
ACMSE
2006
ACM
15 years 10 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...
140
click to vote
DAGSTUHL
2001
15 years 5 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
149
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Buffer overflow vulnerabilities are caused by programming errors that allow an attacker to cause the program to write beyond the bounds of an allocated memory block to corrupt oth...