1173 search results - page 98 / 235 » On the Compositionality of Round Abstraction |
110
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
114
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
129
click to vote
CANS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The main contribution of this paper is a new iterated secretkey block cipher called 3D, inspired by the AES cipher. The 3D cipher has an SPN design, operates on 512-bit b...
77
Voted
CIE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract We prove, using a non-standard complexity assumption, that any language in NP has a 1-round (that is, the verifier sends a message to the prover, and the prover sends a me...
95
Voted
DAGSTUHL
2008
15 years 2 months ago
2008
ABSTRACT. We present an implementation of double precision interval arithmetic using the single-instruction-multiple-data SSE-2 instruction and register set extensions. The impleme...