4731 search results - page 149 / 947 » Securing Interactive Programs |
162
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
258
click to vote
SIGMOD
2009
ACM
16 years 5 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 ...
161
click to vote
PLDI
2011
ACM
14 years 7 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...
121
click to vote
CSFW
2010
IEEE
15 years 8 months 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 specifically, we consider ...
138
click to vote
OOPSLA
1991
Springer
15 years 8 months 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...