493 search results - page 18 / 99 » A Type-Based Approach to Program Security |
113
click to vote
SRDS
2003
IEEE
15 years 7 months ago
2003
IEEE
A large class of security attacks exploit software implementation vulnerabilities such as unchecked buffers. This paper proposes Transparent Runtime Randomization (TRR), a general...
123
click to vote
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
118
click to vote
REFLECTION
2001
Springer
15 years 6 months ago
2001
Springer
This article investigates the security problems raised by the use of proxy-based runtime meta-object protocols (MOPs) for Java and provides an approach for making meta-level code t...
110
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...