11063 search results - page 4 / 2213 » On the existence of universal models |
INDOCRYPT
2005
Springer
14 years 1 months ago
2005
Springer
We propose a scheme for electronic cash based on symmetric primitives. The scheme is secure in the framework for universal composability assuming the existence of a symmetric CCA2-...
EUROCRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Intelligent Tutoring Systems (ITSs) have been shown to have dramatic impact on student learning [9]. However, these gains have been mostly in topics in which the interface has bee...
ICAC
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a generic architecture for developing fullyfledged autonomic systems out of non-autonomic components, and investigate how the architecture can be implemented using exi...
FOCS
2004
IEEE
13 years 11 months ago
2004
IEEE
A desirable goal for cryptographic protocols is to guarantee security when the protocol is composed with other protocol instances. Universally Composable (UC) protocols provide th...