K. Kursawe. Some Ideas on Privacy Preserving Meter Aggregation. Technical report: ICIS-R11002, January, Radboud University Nijmegen, 2011.
With the upcoming widespread distribution of smart meters for electricity gas and water consumption, new opportunities are closely linked to new privacy concerns. In this paper, we present protocols that can be used to privately compute aggregate measurements, allowing for fraud- and leakage detection as well as statistical evaluation of meter measurements, without revealing any information about the non-aggregated values.
Erik Poll, and Aleksy Schubert. Rigorous specifications of the SSH Transport Layer. Technical report: ICIS-R11004, April, Radboud University Nijmegen, 2011.
This document presents (semi-)formal specifications of the security protocol SSH, more specifically the transport layer protocol, and describe a source code review of OpenSSH, the leading implementation of SSH, using these specifications.