891 search results - page 53 / 179 » Full Abstraction for PCF |
IMA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we present a theoretical framework to quantify the information brought by several linear approximations of a blockcipher without putting any restriction on ...
MFCS
2009
Springer
14 years 2 months ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
SACRYPT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we analyse the security of the SHA-3 candidate ARIRANG. We show that bitwise complementation of whole registers turns out to be very useful for constructing...
CISS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— In this paper, we consider the beamforming codebook design problem for the half-duplex MIMO amplify-andforward relay channel with Rayleigh fading. The analysis is divid...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We consider a discrete-time frequencyselective block-fading channel with Rayleigh fading and correlated scattering. This is relevant in the area of UWB and if transceiv...