5488 search results - page 1010 / 1098 » On the Secure Implementation of Security Protocols |
168
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper presents an eavesdropper-proof algorithm that is capable of fast generating symmetric (secret) keys. Instead of literally exchanging secret keys, both the sender and ...
147
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
130
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
An important yet largely uncharted problem in malware defense is how to automate generation of infection signatures for detecting compromised systems, i.e., signatures that charac...
124
click to vote
FOCS
2008
IEEE
15 years 11 months ago
2008
IEEE
We construct a stream-cipher SC whose implementation is secure even if a bounded amount of arbitrary (adaptively, adversarially chosen) information about the internal state of SC ...
136
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...