Sciweavers

8009 search results - page 91 / 1602
» cans 2005
Sort
View
INDOCRYPT
2005
Springer
15 years 10 months ago
A Universally Composable Scheme for Electronic Cash
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-...
Mårten Trolin
ISAAC
2005
Springer
112views Algorithms» more  ISAAC 2005»
15 years 10 months ago
Hybrid Voting Protocols and Hardness of Manipulation
This paper addresses the problem of constructing voting protocols that are hard to manipulate. We describe a general technique for obtaining a new protocol by combining two or more...
Edith Elkind, Helger Lipmaa
ISMIS
2005
Springer
15 years 10 months ago
Modelling Good Entry Pages on the Web
Being a good entry page to a Web site reflects how well the page enables a user to obtain optimal access, by browsing, to relevant and quality pages within the site. Our aim is to...
Theodora Tsikrika, Mounia Lalmas
ISSAC
2005
Springer
77views Mathematics» more  ISSAC 2005»
15 years 10 months ago
Picard--Vessiot extensions for linear functional systems
Picard-Vessiot extensions for ordinary differential and difference equations are well known and are at the core of the associated Galois theories. In this paper, we construct fu...
Manuel Bronstein, Ziming Li, Min Wu
STACS
2005
Springer
15 years 9 months ago
Dynamic Complexity Theory Revisited
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of ...
Volker Weber, Thomas Schwentick