An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.

Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe

Browse the full TARK paper archive.