6164 search results - page 650 / 1233 » Teaching Computer Security |
182
click to vote
OOPSLA
1989
Springer
15 years 11 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
201
Voted
EUROCRYPT
2006
Springer
15 years 11 months ago
2006
Springer
We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...
188
click to vote
OOPSLA
1991
Springer
15 years 11 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...
182
click to vote
ESORICS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We propose a novel approach for quantifying a system's resistance to unknown-message side-channel attacks. The approach is based on a measure of the secret informati...
189
Voted
CRYPTO
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. A cryptographic primitive is leakage-resilient, if it remains secure even if an adversary can learn a bounded amount of arbitrary information about the computation with e...