1183 search results - page 165 / 237 » On flow-sensitive security types |
143
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In 1998 [8], Patarin proposed an efficient cryptosystem called Little Dragon which was a variant of Matsumoto Imai cryptosystem C . However Patarin later found that Little Dragon ...
124
click to vote
JOC
2008
15 years 4 months ago
2008
This paper presents a novel framework for the generic construction of hybrid encryption schemes which produces more efficient schemes than the ones known before. A previous framew...
163
click to vote
JSAC
2006
15 years 4 months ago
2006
Network mobility introduces far more complexity than host mobility. Therefore, host mobility protocols such as Mobile IPv6 (MIPv6) need to be extended to support this new type of m...
126
click to vote
CSI
2004
15 years 4 months ago
2004
The key exchange protocol is one of the most elegant ways of establishing secure communication between pair of users by using a session key. The passwords are of low entropy, henc...
131
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...