Publications

By year

2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 |

2009

  1. D. Basin, S.J. Burri, G. Karjoth
    "Dynamic Enforcement of Abstract Separation of Duty Constraints"
    in "Computer Security - ESORICS 2009," Proc. ESORICS 2009, Lecture Notes in Computer Science, vol. 5789, (Springer Berlin / Heidelberg, September 2009), pp. 250-267.
  2. M. Belenkiy, J. Camenisch, M. Chase, M. Kohlweiss, A. Lysyanskaya, H. Shacham
    "Randomizable Proofs and Delegatable Anonymous Credentials"
    in "Advances in Cryptology - CRYPTO 2009," Lecture Notes in Computer Science , vol. 5677, (Springer Berlin / Heidelberg August 2009), pp. 108-125.
  3. P. Bichsel, J. Camenisch, T. Gross, V. Shoup
    "Anonymous Credentials on a Standard JavaCard"
    Proc.16th ACM Conference on Computer and Communications Security "CCS 2009," Chicago, IL, November 2009 (ACM, 2009) 600-610.
  4. P. Bichsel, S. Mueller, F.-S. Preiss, D. Sommer, M. Verdicchio
    "Security and Trust Through Electronic Social Network-Based Instructions"
    Proc. Int'l Conf. Computational Science and Engineering 2009 "CSE'09," vol. 4 (Workshop on Security and Privacy in Online Social Networking "SPOSN09," Vancouver, Canada (IEEE August 2009) 1002-1007.
  5. C. Binding, A. Bussani, J. Camenisch, T. Gross, D. Sommer, G. Zaverucha
    "Identity Mixer Documentation, Version 1.0 (RZ3730: Cryptographic Protocols of the Identity Mixer Library)"
    RZ3730 , 2009/03/19.
  6. C. Binding, F. Dolivo, R. Hermann, D. Husemann, A. Schade
    "Securing Trade Lanes using an Autonomous Tracking Device"
    IET Intell. Transp. Syst. 3(3) (2009) 268-281.
  7. M. Bjoerkvist, C. Cachin, R. Haas, X.-Y. Hu, A. Kurmus, R. Pawlitzek, M. Vukolic
    "Design and Implementation of a Key-Lifecycle Management System"
    RZ 3739, 2009/06/08.
  8. K. Bonne Rasmussen, T.S. Heydt-Benjamin, C. Castelluccia, S. Capkun
    "Proximity-Based Access Control for Implantable Medical Devices"
    Proc. 16th ACM Conf. on Computer and Communications Security "CCS 2009," Chicago, IL (ACM New York, November 2009) 410-419.
  9. A. Budura, D. Bourges-Waldegg, J. Riordan
    "Deriving Expertise Profiles from Tags"
    Proc. Int'l Conf. Computational Science and Engineering 2009 "CSE '09," vol. 4 (2009 IEEE Int'l Conf. on Social Computing "Social-Com-09," Vancouver, Canada) (IEEE August 2009) 34-41.
  10. C. Cachin
    "Yet Another Visit to Paxos"
    RZ3754, 2009/11/09.
  11. C. Cachin
    "Rational Protocols"
    In "iNetSec 2009 - Open Research Problems in Network Security" Proc. iNetSec 2009, IFIP Advances in Information and Communication Technology, vol. 309 (Springer Boston 2009), pp. 93-94.
  12. C. Cachin, N. Chandran
    "A Secure Cryptographic Token Interface"
    Proc. 22nd IEEE Computer Security Foundations Symp. "CSF-22," Port Jefferson, NY. (IEEE July 2009) 141-153.
  13. C. Cachin, M. Geisler
    "Integrity Protection for Revision Control"
    in "Applied Cryptography and Network Security" Proc. "ACNS '09," Lecture Notes in Computer Science, vol. 5536, edited by M. Abdalla and D. Pointcheval, (Springer Berlin / Heidelberg, May 2009), pp. 382-399.
  14. C. Cachin, I. Keidar, A. Shraer
    "Trusting the Cloud"
    ACM SIGACT News 40(2) (2009) 81-86.
  15. C. Cachin, I. Keidar, A. Shraer
    "Fail-Aware Untrusted Storage"
    Proc. IEEE/IFIP Int'l Conf. on Dependable Systems and Networks 2009 "DSN'09," Estoril, Portugal (IEEE June 2009) 494-503.
  16. C. Cachin, A. Kurmus, M. Vukolic
    "Strict Access Control in a Key-Management Server"
    3rd Int'l Workshop on Analysis of Security APIs (satellite workshop of CSF-22), Port Jefferson, NY (July 2009).
  17. J. Camenisch, N. Chandran, V. Shoup
    "A Public Key Encryption Scheme Secure against Key Dependent Chosen Plaintext and Adaptive Chosen Ciphertext Attacks"
    in "Advances in Cryptology - EUROCRYPT 2009," Proc. "EUROCRYPT 2009," Lecture Notes in Computer Science, vol. 5479, (Springer Berlin / Heidelberg April 2009), pp. 351-368.
  18. J. Camenisch, M. Dubovitskaya, G. Neven
    "Oblivious Transfer with Access Control"
    Proc. 16th ACM Conf. on Computer and Communications Security "CCS 2009," Chicago, IL (ACM, New York, November 2009) 131-140.
  19. J. Camenisch, A. Kiayias, M. Yung
    "On the portability of Generalized Schnorr Proofs"
    in "Advances in Cryptology - EUROCRYPT 2009," Proc. "EUROCRYPT 2009," Lecture Notes in Computer Science, vol. 5479, (Springer Berlin / Heidelberg, Springerlink April 2009), pp. 425-442.
  20. J. Camenisch, M. Kohlweiss, A. Rial, C. Sheedy
    "Blind and Anonymous Identity-Based Encryption and Authorised Private Searches on Public Key Encrypted Data"
    in "Public Key Cryptography - PKC 2009," Proc. PKC 2009, Lecture Notes in Computer Science, vol. 5443 (Springer Berlin / Heidelberg March 2009) pp. 196-214.
  21. J. Camenisch, M. Kohlweiss, C. Soriente
    "An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials"
    in "Public Key Cryptography - PKC 2009," Proc. PKC 2009, Lecture Notes in Computer Science, vol. 5443 (Springer Berlin / Heidelberg March 2009) pp. 481-500.
  22. J. Camenisch, S. Moedersheim, G. Neven, F.-S. Preiss, D. Sommer
    "A Credential-Based Access Control Requirements Language"
    RZ 3748, 2009/09/18.
  23. J. Camenisch, G.M. Zaverucha
    "Private Intersection of Certified Sets"
    in "Financial Cryptography and Data Security" Proc. FC 2009, Lecture Notes in Computer Science, vol. 5628, (Springer Berlin / Heidelberg, July 2009), pp. 108-127.
  24. A. Caracas, T. Kramp, M. Baentsch, M. Oestreicher, T. Eirich, I. Romanov
    "Mote Runner: A Multi-Language Virtual Machine for Small Embedded Devices"
    Proc. The Third Int'l Conf. on Sensor Technologies and Applications "SENSORCOMM 2009," Athens, Greece (IEEE June 2009) 117-125.
  25. M. Christodorescu, R. Seiler, D.L. Schales, D. Sgandurra, D. Zamboni
    "Cloud Security is not (just) Virtualization Security"
    Proc. 2009 ACM Workshop on Cloud Computing Security "CCSW 2009," in conjunction with the 16th ACM Conf. on Computer and Communications Security "CCS," Chicago, IL. (ACM, 2009) 97-102.
  26. B. Danev, T.S. Heydt-Benjamin, S. Capkun
    "Physical-Layer Identification of RFID Devices"
    Proc. 18th Usenix Security Symposium "USENIX Security 2009," Montreal, Canada (Conf. Website August 2009) http://www.usenix.org/events/sec09/tech/full_papers/danev.pdf.
  27. T. Gross
    "Browser-Based Identity Federation"
    PhD Thesis, Ruhr University Bochum, Horst Goertz Institute, Bochum, Germany, May 2009.
  28. T. Kramp, M. Baentsch, T. Eirich, M. Oestreicher, I. Romanov, A. Caracas
    "The IBM Mote Runner"
    ERCIM News no. 76 (2009) 20: http://ercim-news.ercim.org/images/stories/EN76/EN76-web.pdf.
  29. Sebastian Mödersheim
    "Algebraic Properties in Alice and Bob Notation." Proc. 4th Int'l Conf. on Availability, Reliability and Security "ARES 2009" Fukuoka, Japan, (IEEE Computer Society, March 2009), 433-440. DOI Bookmark.
    Extended version available as IBM Research Report RZ3709.
  30. S. Moedersheim, D. Sommer
    "A Formal Modal of Identity Mixer"
    RZ 3749, 2009/09/18.
  31. S. Mödersheim, L. Vigano
    "The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols"
    in "Foundations of Security Analysis and Design V" Proc. "FOSAD 2009," Lecture Notes in Computer Science, vol. 5705, (Springer Berlin / Heidelberg August 2009), pp. 166-194.
  32. Sebastian Mödersheim and Luca Viganò
    "Secure Pseudonymous Channels"
    in "Computer Security - ESORICS 2009," Proc. ESORICS 2009, Lecture Notes in Computer Science, Vol. 5789 (Springer Berlin / Heidelberg, September 2009), pp. 337-354.
    Extended version available as IBM Research Report RZ3724.
  33. S. Mueller
    "Theory and Applications of Runtime Monitoring Metric First-Order Temporal Logic"
    Dissertation, Swiss Federal Institute of Technology (ETH) Zurich (2009).
  34. T. Weigold, T. Kramp, P. Buhler
    "Flexible Persistence Support for State Machine Based Workflow Engines"
    Proc. 4th Int'l. Conf. on Software Engineering Advances "ICSEA 2009," Porto, Portugal (IEEE September 2009) 313-319.

Disclaimer

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.