A Formal Approach to Designing Anonymous Software.

Yoshinobu Kawabe, Hideki Sakurada

Browse the full SERA paper archive.