5722 search results - page 15 / 1145 » Security Function Interactions |
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
CSFW
2012
IEEE
11 years 11 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
CRYPTO
2008
Springer
13 years 10 months ago
2008
Springer
We propose a family of compression functions built from fixed-key blockciphers and investigate their collision and preimage security in the ideal-cipher model. The constructions ha...