A Contractual Anonymity System

Proceedings of the Symposium on Network and Distributed System Security, NDSS 2010

Volumn , Issue , 2010, Pages

  Schwartz, Edward J ^a   Brumley, David ^a   McCune, Jonathan M ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SERVICE PROVIDER; UNLINKABILITY;

NETWORK SECURITY;

EID: 85180530788     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. Advanced Micro Devices. AMD64 architecture programmer’s manual: Volume 2: System programming. AMD Publication no. 24593 rev. 3.14, Sept. 2007.
2. G. Ateniese, J. Camenisch, M. Joye, and G. Tsudik. A practical and provably secure coalition-resistant group signature scheme. In CRYPTO, 2000.
3. M. H. Au, S. S. M. Chow, and W. Susilo. Short e-cash. In INDOCRYPT, 2005.
4. M. H. Au, W. Susilo, and Y. Mu. Constant-size dynamic k-TAA. In Security and Cryptography for Networks, 2006.
5. M. Bellare, D. Micciancio, and B. Warinschi. Foundations of group signatures: Formal definitions, simplified requirements, and a construction based on general assumptions. In EUROCRYPT, 2003.
6. D. Boneh and X. Boyen. Short signatures without random oracles. In EUROCRYPT, 2004.
7. D. Boneh, X. Boyen, and H. Shacham. Short group signatures. In CRYPTO, 2004.
8. D. Boneh and H. Shacham. Group signatures with verifier-local revocation. In CCS, 2004.
9. E. F. Brickell, J. Camenisch, and L. Chen. Direct anonymous attestation. In CCS, 2004.
10. E. F. Brickell and J. Li. Enhanced privacy ID: a direct anonymous attestation scheme with enhanced revocation capabilities. In Workshop on Privacy in the Electronic Society, 2007.
11. J. Camenisch, S. Hohenberger, and A. Lysyanskaya. Balancing accountability and privacy using e-cash (extended abstract). In Security and Cryptography for Networks, 2006.
12. J. Camenisch and A. Lysyanskaya. Dynamic accumulators and application to efficient revocation of anonymous credentials. In CRYPTO, 2002.
13. J. Camenisch and A. Lysyanskaya. Signature schemes and anonymous credentials from bilinear maps. In CRYPTO, 2004.
14. J. Camenisch and M. Stadler. Efficient group signature schemes for large groups (extended abstract). In CRYPTO, 1997.
15. D. Chaum and E. van Heyst. Group signatures. In EUROCRYPT, 1991.
16. A. Datta, J. Franklin, D. Garg, and D. Kaynar. A logic of secure systems and its applications to trusted computing. In IEEE Symposium on Security and Privacy, 2009.
17. Y. Desmedt and Y. Frankel. Threshold cryptosystems. In CRYPTO, 1989.
18. J. R. Douceur. The sybil attack. In International Workshop on Peer-To-Peer Systems, 2002.
19. D. Grawrock. Dynamics of a Trusted Platform: A Building Block Approach. Intel Press, 2008.
20. Intel Corporation. Trusted eXecution Technology – measured launched environment developer’s guide. Document number 315168005, 2008.
21. G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, M. Norrish, R. Kolanski, T. Sewell, H. Tuch, and S. Win-wood. seL4: Formal verification of an OS kernel. In Proceedings of ACM SOSP, 2009.
22. B. Lynn, H. Shacham, and J. Cooley. PBC sig group signature library. [Online]. Available: http://crypto.stanford.edu/pbc/sig. [Accessed: May 1, 2009].
23. J. M. McCune, B. Parno, A. Perrig, M. K. Reiter, and H. Isozaki. Flicker: An execution infrastructure for TCB minimization. In EuroSys, 2008.
24. A. J. Menezes, P. C. van Oorschot, and S. A. Vanstone. Handbook of Applied Cryptography. 1997.
25. J. C. Mitchell, V. Shmatikov, and U. Stern. Finite-state analysis of SSL 3.0. In USENIX Security Symposium, 1998.
26. L. Nguyen and R. Safavi-Naini. Dynamic k-times anonymous authentication. In Applied Cryptography and Network Security, 2005.
27. S. W. Smith and S. Weingart. Building a high-performance, programmable secure coprocessor. In Computer Networks, 1998.
28. I. Teranishi, J. Furukawa, and K. Sako. k-times anonymous authentication (extended abstract). In ASIACRYPT, 2004.
29. I. Teranishi and K. Sako. k-times anonymous authentication with a constant proving cost. In Public Key Cryptography, 2006.
30. Trusted Computing Group. Trusted platform module main specification, Part 1: Design principles, Part 2: TPM structures, Part 3: Commands. Version 1.2, Revision 103., 2007.
31. P. P. Tsang, M. H. Au, A. Kapadia, and S. W. Smith. Blacklistable anonymous credentials: blocking misbehaving users without TTPs. In CCS, 2007.
32. P. P. Tsang, M. H. Au, A. Kapadia, and S. W. Smith. PEREA: towards practical TTP-free revocation in anonymous authentication. In CCS, 2008.
33. D. A. Wheeler. Linux kernel 2.6: It’s worth more! [Online]. Available: http://www.dwheeler.com/essays/linux-kernel-cost.html. [Accessed: May 1, 2009].
34. XySSL Developers. XySSL cryptographic library. [Online]. Available: http://polarssl.org.