Ensuring privacy in presence awareness: an automated verification approach.

Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li

Browse the full CSCW paper archive.