43 search results - page 1 / 9 » Retrofitting Legacy Code for Security |
69
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
ICSE
2007
IEEE-ACM
16 years 6 days ago
2007
IEEE-ACM
This paper presents an approach to statically retrofit legacy servers with mechanisms for authorization policy enforcement. The approach is based upon the observation that securit...
SEC
2008
15 years 1 months ago
2008
226
click to vote
POPL
2002
ACM
16 years 13 days ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
96
Voted
ESOP
2010
Springer
15 years 9 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...