1. Akinyele, J.A., Green, M., Rubin, A.D.: Charm: A tool for rapid cryptographic prototyping,
http://www.charm-crypto.com/Main.html
2. Akinyele, J.A., Green, M., Rubin, A.D.: Charm: A framework for rapidly prototyping cryptosystems. IACR Cryptology ePrint Archive, 2011:617 (2011),
http://eprint.iacr.org/2011/617.pdf
3. Barthe, G., Danezis, G., Grégoire, B., Kunz, C., Béguelin, S.Z.: Verified computational differential privacy with applications to smart metering. In: CSF, pp. 287–301 (2013)
4. Lecture Notes in Computer Science;T.-H.H. Chan,2012
5. Lecture Notes in Computer Science;Z. Erkin,2012