357 search results - page 1 / 72 » Code security analysis with assertions |
84
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
115
Voted
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...
140
Voted
SOSP
2009
ACM
16 years 14 days ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
127
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
140
Voted
WCRE
2005
IEEE
15 years 9 months ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...