Towards ensuring client-side computational integrity (A position paper)

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2011, Pages 125-129

  Danezis, George ^a   Livshits, Benjamin ^b  

^a MICROSOFT RESEARCH   (United Kingdom)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Cloud computing; Confidentiality; Cryptography; Integrity; Living by numbers; Personal data management

Indexed keywords

BUILDING BLOCKES; CONFIDENTIALITY; EFFECTIVE SOLUTION; FULLY HOMOMORPHIC ENCRYPTION; INTEGRITY; LIVING BY NUMBERS; MOVING SERVICES; POSITION PAPERS; PRIVACY PROBLEMS; SECURITY PROPERTIES;

ACCESS CONTROL; COMPUTER PRIVACY; COMPUTER SYSTEMS; CRYPTOGRAPHY; IMAGE QUALITY; INFORMATION MANAGEMENT;

CLOUD COMPUTING;

EID: 80955131279     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2046660.2046683     Document Type: Conference Paper

References (17)

1. J. Balasch, A. Rial, C. Troncoso, B. Preneel, I. Verbauwhede, and C. Geuens. Pretp: Privacy-preserving electronic toll pricing. In USENIX Security Symposium, pages 63-78, 2010.
2. S. Brands. Rapid demonstration of linear relations connected by boolean operators. In EUROCRYPT, pages 318-333, 1997. (Pubitemid 127067810)
3. J. Camenisch, R. Chaabouni, and A. Shelat. Efficient protocols for set membership and range proofs. In J. Pieprzyk, editor, ASIACRYPT, volume 5350 of Lecture Notes in Computer Science, pages 234-252. Springer, 2008.
4. J. Camenisch and J. Groth. Group signatures: Better efficiency and new theoretical aspects. In C. Blundo and S. Cimato, editors, SCN, volume 3352 of LNCS, pages 120-133. Springer, 2004.
5. J. Camenisch and M. Michels. Proving in zero-knowledge that a number is the product of two safe primes. In EUROCRYPT, pages 107-122, 1999.
6. D. Chaum and T. Pedersen. Wallet databases with observers. In CRYPTO '92, volume 740 of LNCS, pages 89-105, 1993.
7. Y. Chen and R. Sion. On securing untrusted clouds with cryptography. In E. Al-Shaer and K. B. Frikken, editors, WPES, pages 109-114. ACM, 2010.
8. M. Dworkin. Cryptographic protocols of the identity mixer library, v. 2.3.0. IBM research report RZ3730, IBM Research, 2010. http://domino.research. ibm.com/library/cyberdig.nsf/index.html.
9. C. Gentry. Computing arbitrary functions of encrypted data. Commun. ACM, 53(3):97-105, 2010.
10. C. Gentry and S. Halevi. Implementing gentry's fully-homomorphic encryption scheme. In K. G. Paterson, editor, EUROCRYPT, volume 6632 of Lecture Notes in Computer Science, pages 129-148, 2011.
11. S. Kamara and K. Lauter. Cryptographic cloud storage. In R. Sion, R. Curtmola, S. Dietrich, A. Kiayias, J. M. Miret, K. Sako, and F. Sebé, editors, Financial Cryptography Workshops, volume 6054 of Lecture Notes in Computer Science, pages 136-149, 2010.
12. A. Rial and G. Danezis. Privacy-preserving smart metering. Technical Report MSR-TR-2010-150, Microsoft Research, November 2010.
13. C.-P. Schnorr. Efficient signature generation by smart cards. J. Cryptology, 4(3):161-174, 1991.
14. N. P. Smart and F. Vercauteren. Fully homomorphic encryption with relatively small key and ciphertext sizes. In P. Q. Nguyen and D. Pointcheval, editors, Public Key Cryptography, volume 6056 of Lecture Notes in Computer Science, pages 420-443, 2010.
15. C. Troncoso, G. Danezis, E. Kosta, and B. Preneel. PriPAYD: privacy friendly pay-as-you-drive insurance. In P. Ning and T. Yu, editors, Proceedings of the 2007 ACM Workshop on Privacy in the Electronic Society, WPES 2007, pages 99-107. ACM, 2007.
16. M. van Dijk, C. Gentry, S. Halevi, and V. Vaikuntanathan. Fully homomorphic encryption over the integers. In H. Gilbert, editor, EUROCRYPT, volume 6110 of Lecture Notes in Computer Science, pages 24-43, 2010.
17. Wired Magazine. Living by numbers. Wired Magazine, July 2011.