912 search results - page 13 / 183 » Techniques for Securing Networks Against Criminal Attacks |
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
WISEC
2010
ACM
15 years 4 months ago
2010
ACM
We expose the vulnerability of an emerging wireless ranging technology, impulse radio ultra-wide band (IR-UWB), to distance-decreasing attacks on the physical communication layer ...
CRYPTO
2003
Springer
15 years 2 months ago
2003
Springer
Can you guarantee secrecy even if an adversary can eavesdrop on your brain? We consider the problem of protecting privacy in circuits, when faced with an adversary that can access ...
103
click to vote
SASN
2005
ACM
15 years 3 months ago
2005
ACM
Denial of service (DoS) attacks can cause serious damage in resourceconstrained, wireless sensor networks (WSNs). This paper addresses an especially damaging form of DoS attack, c...
117
click to vote
WISA
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we present two attacks that exploit cache events, which are visible in some side channel, to derive a secret key used in an implementation of AES. The first is an imp...