The role of this verification is to check whether the received mix is a mix of the previously locally held mix. Using a commitment-consistent zero-knowledge ...

In this paper, we formally analyse a Mix Net using the process algebra CSP and its associated model checker FDR. The protocol that we verify removes the ...

Details ; Title. Verifying a Mix Net in CSP ; Creators. E Stathakidis. DM Williams. JA Heather ; Contributors. Springer-Verlag (null) ; Publication Details.

A Mix Net is a cryptographic protocol that unlinks the correspondence between its inputs and its outputs. In this paper, we formally analyse a Mix Net using ...

A Mix Net is a cryptographic protocol that unlinks the correspondence between its inputs and its outputs. In this paper, we formally analyse a Mix Net using ...

A Mix Net is a cryptographic protocol that conceals the correspondence between the initial vector of encrypted input values and the permuted vector of decrypted ...

... Verifying a mix net in CSP. In: Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVoCS 2013). Electronic ...

Abstract A Mix Net is a cryptographic protocol that unlinks the correspondence between its inputs and its outputs. In this paper, we formally analyse a Mix ...

Fingerprint. Dive into the research topics of 'Constructing and verifying a robust Mix Net using CSP'. Together they form a unique fingerprint.

Missing: CSP. | Show results with:CSP.