2257 search results - page 125 / 452 » Secure program partitioning |
ACSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
CSFW
2010
IEEE
14 years 26 days ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More speciï¬cally, we consider ...
OOPSLA
1991
Springer
14 years 13 days ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...