100 search results - page 8 / 20 » Static Analysis of Non-interference in Expressive Low-Level ... |
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
77
Voted
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
85
Voted
BTW
2005
Springer
15 years 4 months ago
2005
Springer
: XML has emerged as the industry standard for representing and exchanging data and is already predominant in several applications today. Business, analytic and structered data wil...
129
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
ESOP
2004
Springer
15 years 4 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...