396 search results - page 4 / 80 » Generalizing Parametricity Using Information-flow |
110
Voted
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
110
click to vote
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
118
Voted
MICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
144
click to vote
CBSE
2011
Springer
14 years 17 days ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
112
click to vote
STVR
2010
14 years 11 months ago
2010
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...