2206 search results - page 325 / 442 » On the power of coercion abstraction |
EUROCRYPT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
ER
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract-- Channel estimation for frequency-selective timevarying channels is considered using superimposed training. We employ a discrete prolate spheroidal basis expansion model ...
HIPEAC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Exposing more instruction-level parallelism in out-of-order superscalar processors requires increasing the number of dynamic in-flight instructions. However, large instru...
ARCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...