1183 search results - page 34 / 237 » On flow-sensitive security types |
144
click to vote
CCS
2006
ACM
15 years 8 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...
137
click to vote
ICISS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Tweakable enciphering schemes are a certain type of blockcipher mode of operation which provide security in the sense of a strong pseudo-random permutation. It has been p...
249
click to vote
GAMESEC
2011
14 years 4 months ago
2011
Recent works on Internet risk management have proposed the idea of cyber-insurance to eliminate risks due to security threats, which cannot be tackled through traditional means suc...
239
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
142
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...