Formal Treatment of Verifiable Privacy-Preserving Data-Aggregation Protocols.

Satoshi Yasuda, Yoshihiro Koseki, Yusuke Sakai, Fuyuki Kitagawa, Yutaka Kawai, Goichiro Hanaoka

Browse the full ProvSec paper archive.