135 search results - page 16 / 27 » Encompassing Attacks to Attacks in Abstract Argumentation Fr... |
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...
ASIACRYPT
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Several generalizations of linear cryptanalysis have been proposed in the past, as well as very similar attacks in a statistical point of view. In this paper, we define ...
ISW
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Instruction Set Randomization (ISR) is a promising technique for preventing code-injection attacks. In this paper we present a complete randomization framework for JavaSc...
SP
2009
IEEE
14 years 2 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...