78 search results - page 6 / 16 » Using Program Transformation to Secure C Programs Against Bu... |
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Harvard architecture CPU design is common in the embedded world. Examples of Harvard-based architecture devices are the Mica family of wireless sensors. Mica motes have limited me...
ACMSE
2006
ACM
14 years 1 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...
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
VEE
2006
ACM
14 years 1 months ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
EUROMICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...