2213 search results - page 18 / 443 » Software Security |
72
Voted
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
CAL
2010
14 years 11 months ago
2010
88
Voted
SEE
2011
Springer
14 years 5 months ago
2011
Springer
SDMW
2007
Springer
15 years 8 months ago
2007
Springer
124
Voted
PST
2008
15 years 3 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...