43 search results - page 1 / 9 » Retrofitting Legacy Code for Security |
CAV
2010
Springer
13 years 8 months ago
2010
Springer
ICSE
2007
IEEE-ACM
14 years 4 months 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
13 years 6 months ago
2008
POPL
2002
ACM
14 years 4 months 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 ...
ESOP
2010
Springer
14 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...