235 search results - page 4 / 47 » A Practical Mix |
DIAU
2000
Springer
14 years 1 months ago
2000
Springer
We present the traffic analysis problem and expose the most important protocols, attacks and design issues. Afterwards, we propose directions for further research. As we are mostl...
ACMDIS
2004
ACM
14 years 3 months ago
2004
ACM
IT research is often informed by studies of the practices that new technologies are to be embedded in and which they transform in their use. The development of mixed reality, tang...
VOTEID
2007
Springer
14 years 4 months ago
2007
Springer
Kutylowski et al. have introduced a voter-verifiable electronic voting scheme ”a practical voting scheme with receipts”, which provides each voter with a receipt. The voter ca...
GLVLSI
2006
IEEE
14 years 4 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
NDSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Anonymity of ballots in electronic voting schemes usually relies on the existence of some kind of anonymous channel between voters and ballot collecting authorities. Currently, th...