224 search results - page 5 / 45 » A Formal Treatment of Context-Awareness |
CRYPTO
2005
Springer
14 years 28 days 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...
GC
2004
Springer
14 years 24 days ago
2004
Springer
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate thes...
EUROCRYPT
2010
Springer
14 years 6 days ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Abstract.