224 search results - page 5 / 45 » A Formal Treatment of Context-Awareness |
84
Voted
CRYPTO
2005
Springer
15 years 3 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...
76
Voted
GC
2004
Springer
15 years 2 months 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
15 years 2 months 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...
65
Voted
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Abstract.