Searching for authors named "Berry Schoenmakers" – sorted by Relevance.
-
Basic Security of the ecash Payment System
- . ecash TM is a payment system designed and implemented for making purchases over open networks such as the Internet. In this paper we review some of the main cryptographic techniques used throughout the ecash system. We will focus on security aspects as well as some performance related issues. Th
- Cited by 2 (0 self) – Add To MetaCart
-
Compensating for a Lack of Transparency
- Paper-ballot elections may be a bit cumbersome yet many people will agree that the procedures to be followed are sufficiently transparent to all parties involved. The principles for fair elections are clear, and common sense tells people what to look for to detect potential fraud. The process is tra
- Cited by 6 (0 self) – Add To MetaCart
-
Basic Security of the ecash TM Payment System; State of the Art
- Abstract. ecash TM is a payment system designed and implemented for making purchases over open networks such as the Internet. In this paper we review some of the main cryptographic techniques used throughout the ecash system. We will focus on security aspects as well as some performance related issu
- Cited by 4 (0 self) – Add To MetaCart
-
An efficient electronic payment system withstanding parallel attacks. Report CS-R9522, Centrum voor Wiskunde en Informatica
- A new blind signature protocol based on Schnorr signatures is presented that can be used in payment systems. Apart from its simplicity and efficiency, an important feature of the protocol is that it can be argued to imply a withdrawal protocol that is resistant to parallel attacks by a collusion of
- Cited by 7 (2 self) – Add To MetaCart
-
Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space
- In this paper we derive a linear-time, constant-space algorithm to construct a binary heap whose inorder traversal equals a given sequence. We do so in two steps. First, we invert a program that computes the inorder traversal of a binary heap, using the proof rules for program inversion by W. Chen a
- Cited by 4 (0 self) – Add To MetaCart
-
A new algorithm for the recognition of series parallel graphs
- In this paper we develop a new linear-time algorithm for the recognition of series parallel graphs. The algorithm is based on a succinct representation of series parallel graphs for which the presence of an arc can be tested in constant time; space utilization is linear in the number of vertices. We
- Cited by 5 (0 self) – Add To MetaCart
-
Fully Auditable Electronic Secret-Ballot Elections
- this paper we show how special-purpose cryptographic protocols help to achieve this goal
- Cited by 5 (0 self) – Add To MetaCart
-
Data Structures and Amortized Complexity in a Functional Setting
- views of amortization : : : : : : : : : : : : : : : : : : : 44 4 Implementation aspects 49 4.1 Functional program notation : : : : : : : : : : : : : : : : : : : : 50 4.2 Eager evaluation : : : : : : : : : : : : : : : : : : : : : : : : : : : 51 4.3 Pointer implementation of stacks : : : : : : : : :
- Cited by 11 (3 self) – Add To MetaCart
-
A simple publicly verifiable secret sharing scheme and its application to electronic voting
- Abstract. A publicly verifiable secret sharing (PVSS) scheme is a verifiable secret sharing scheme with the property that the validity of the shares distributed by the dealer can be verified by any party; hence verification is not limited to the respective participants receiving the shares. We prese
- Cited by 52 (1 self) – Add To MetaCart
-
Smooth Rényi Entropy of Ergodic Quantum Information Sources
- Abstract — We investigate the recently introduced notion of smooth Rényi entropy for the case of ergodic information sources, thereby generalizing previous work which concentrated mainly on i.i.d. information sources. We will actually consider ergodic quantum information sources, of which ergodic cl
- Add To MetaCart

