1183 search results - page 42 / 237 » On flow-sensitive security types |
149
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
125
click to vote
IEEEIAS
2008
IEEE
15 years 11 months ago
2008
IEEE
: The Secure Shell (SSH) protocol strives to protect the privacy of its users in several ways. On one hand, the strong encryption and authentication algorithms that it adopts provi...
237
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
145
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...
144
click to vote
ACNS
2010
Springer
15 years 9 months ago
2010
Springer
To this day, realizations in the standard-model of (lossy) trapdoor functions from discrete-log-type assumptions require large public key sizes, e.g., about Θ(λ2 ) group elements...