Sciweavers

IANDC
2010
132views more  IANDC 2010»
13 years 8 months ago
The expressive power of the shuffle product
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
Jean Berstel, Luc Boasson, Olivier Carton, Jean-Er...
QUESTA
2008
110views more  QUESTA 2008»
13 years 11 months ago
On Kelly networks with shuffling
We consider Kelly networks with shuffling of customers within each queue. Specifically, each arrival, departure or movement of customer from one queue to another triggers a shuffl...
T. Bonald, M.-A. Tran
FUIN
2006
75views more  FUIN 2006»
13 years 11 months ago
Shuffle of Words and Araucaria Trees
The shuffle of words
René Schott, Jean-Claude Spehner
EUROCRYPT
2008
Springer
14 years 1 months ago
Sub-linear Zero-Knowledge Argument for Correctness of a Shuffle
A shuffle of a set of ciphertexts is a new set of ciphertexts with the same plaintexts in permuted order. Shuffles of homomorphic encryptions are a key component in mix-nets, whic...
Jens Groth, Yuval Ishai
ASIACRYPT
2007
Springer
14 years 3 months ago
A Non-interactive Shuffle with Pairing Based Verifiability
A shuffle is a permutation and re-encryption of a set of ciphertexts. Shuffles are for instance used in mix-nets for anonymous broadcast and voting. One way to make a shuffle verif...
Jens Groth, Steve Lu