5843 search results - page 231 / 1169 » Software Security in Practice |
144
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
150
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...
169
click to vote
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
Anonymous channels are necessary for a multitude of privacy-protecting protocols. Onion routing is probably the best known way to achieve anonymity in practice. However, the crypto...
147
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
A common practice for signing with RSA is to first apply a hash function or a redundancy function to the message, add some padding and exponentiate the resulting padded message us...
148
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper is the product of a workshop held in Amsterdam during the Software Technology and Practice Conference (STEP 2003). The purpose of the paper is to propose Bloom’s taxo...