Work

Formal modelling and analysis of mix net implementations.

Cites: 140
Cited by:
Related to: 10