556 search results - page 37 / 112 » Generic Properties of Datatypes |
94
Voted
ACNS
2008
Springer
15 years 7 months ago
2008
Springer
Regular cash systems provide both the anonymity of users and the transferability of coins. In this paper, we study the anonymity properties of transferable e-cash. We define two n...
97
Voted
JAIR
2006
15 years 16 days ago
2006
In this paper, we show that there is a close relation between consistency in a constraint network and set intersection. A proof schema is provided as a generic way to obtain consi...
FSE
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we study structural properties of SPN ciphers in which both the S-boxes and the affine layers are involutions. We apply our observations to the recently designed Rijn...
MOBIQUITOUS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a framework prototype for sentient environments. The framework provides a generic interface to the applications for interacting with sentient artefacts in a un...
84
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...