Specification, design, and verification of an accountability-aware surveillance protocol.

Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider

Browse the full SAC paper archive.