37 search results - page 3 / 8 » Model-Checking for Software Vulnerabilities Detection with M... |
120
Voted
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Attacks on software systems are an increasingly serious problem from an economic and security standpoint. Many techniques have been proposed ranging from simple compiler modifi...
101
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
128
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
99
Voted
COMPSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
146
Voted
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Embedded systems are being deployed as a part of critical infrastructures and are vulnerable to malicious attacks due to internet accessibility. Intrusion detection systems have b...