Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider. Specification, design, and verification of an accountability-aware surveillance protocol. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1372-1378, ACM, 2017. [doi]
Abstract is missing.