Satoshi Yasuda, Yoshihiro Koseki, Yusuke Sakai 0001, Fuyuki Kitagawa, Yutaka Kawai, Goichiro Hanaoka. Formal Treatment of Verifiable Privacy-Preserving Data-Aggregation Protocols. In Joonsang Baek, Willy Susilo, Jongkil Kim, editors, Provable Security - 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings. Volume 11192 of Lecture Notes in Computer Science, pages 415-422, Springer, 2018. [doi]