357 search results - page 1 / 72 » Code security analysis with assertions |
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
SAFECOMP
1998
Springer
13 years 8 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...
SOSP
2009
ACM
14 years 1 months 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...
VMCAI
2005
Springer
13 years 10 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...
WCRE
2005
IEEE
13 years 10 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...