1183 search results - page 41 / 237 » On flow-sensitive security types |
128
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
243
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
126
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
149
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
138
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...