493 search results - page 2 / 99 » A Type-Based Approach to Program Security |
LOPSTR
2007
Springer
13 years 12 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
ESORICS
2004
Springer
13 years 11 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
SP
1997
IEEE
13 years 10 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
ASPLOS
2004
ACM
13 years 11 months ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...