Skip to main content


Publications

By year

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

2008

  1. [M08]
    S. Mödersheim.
    On the Relationships between Models in Protocol Verification. In Journal of Information and Computation 206 (2-4), 291-311, 2008.
  2. [AKN08]
    M. Abdalla, E. Klitz, G. Neven.
    Generalized Key Delegation for Hierarchical Identity-Based Encryption. IET Information Security 2(3) (on-line August 2008) 67-78.
  3. [BKMP08]
    D. Basin, F. Klaedtke, S. Müller, B. Pfitzmann.
    Runtime Monitoring of Metric First-order Temporal Properties, Proc. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'08), Bangalore, India, edited by R. Hariharan, M. Mukund, V. Vinay, (December 2008) 49-60.
  4. [CKS08a]
    C. Cachin, I. Keidar, A. Shraer.
    Principles of Untrusted Storage: A New Look at Consistency Conditions, Proc. 27th ACM Symp. on Principles of Distributed Computing (PODC 2008), Toronto, Canada (ACM August 2008) 426.
  5. [CKS08b]
    C. Cachin, I. Keidar, A. Shraer.
    Fork Sequential Consistency is Blocking, Information Processing Letters 109 (available on-line December, 2008) 360-364.
  6. [CG08]
    J. Camenisch, T. Gross.
    Efficient Attributes for Anonymous Credentials, Proc. 15th ACM Conference on Computer and Communications Security (CCS 2008), Alexandria, VA (ACM October 2008), 345-356.
  7. [CGH08]
    J. Camenisch, T. Gross, T.S. Heydt-Benjamin.
    Rethinking Accountable Privacy Supporting Services Proc. Fourth ACM Workshop on Digital Identity Management (DIM 2008), Fairfax, VA, (ACM October 2008).
  8. [CCS08]
    J. Camenisch, R. Chaabouni, A. Shelat.
    Efficient Protocols for Set Membership and Range Proofs, Advances in Cryptology - ASIACRYPT 2008, Proc. Asiacrypt, Melbourne, Australia, Lecture Notes in Computer Science, vol. 5350, edited by J. Pieprzyk (Springer Berlin / Heidelberg, December 2008) pp. 234-252.
  9. [GH08]
    C. Giblin, S. Hada.
    Towards Separation of Duties for Services. Proc. 6th Int'l Workshop on SOA and Web Services Best Practices, Nashville, TN (Distributed at Workshop as printed booklet).
  10. [HHFKM08]
    D. Halperin, T.S. Heydt-Benjamin, K. Fu, T. Kohno, W.H. Maisel.
    Security and Privacy for Implantable Medical Devices. IEEE Pervasive Computing 7(1) (2008) 30-39.
  11. [JRS08]
    B. Jansen, H.G.V. Ramasamy, M. Schunter.
    On Integrity Protection and Verification for Virtual Machines. Proc. 4th ACM SIGPLAN/SIGOPS Int'l. Conf. on Virtual Execution Environments (VEE '08), Seattle, WA, March 2008 (ACM), 101-110.
  12. [JRST08]
    B. Jansen, H.G.V. Ramasamy, M. Schunter, A. Tanner.
    Architecting Dependable and Secure Systems using Visualization. Architecting Dependable Systems V, edited by R. d. Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, Springer Lecture Notes in Computer Science, Vol. 5135 (Springer, Berlin, Heidelberg) (August 2008).
  13. [KSH08]
    G. Karjoth, A. Schade, E. van Herreweghen.
    Implementing ACL-based Policies in XACML, Proc. Annual Computer Security Applications Conf. (ACSAC 2008), Anaheim, CA, (IEEE August 2008), 183-192.
  14. [KN08]
    E. Kiltz, G. Neven.
    Identity-Based Signatures, Cryptology and Information Security Series vol 2, Identity-Based Cryptography, ed. by M. Joye, G. Neven (IOS Press, December 2008).
  15. [N08a]
    G. Neven.
    A Simple Transitive Signature Scheme for Directed Trees. Theoretical Computer Science 396(1-3) (Available on-line February 2008) 277-282.
  16. [N08b]
    G. Neven.
    Efficient Sequential Aggregate Signed Data, Advances in Cryptology - EUROCRYPT 2008, Lecture Notes in Computer Science, vol. 4965 (Springer Verlag, Berlin Heidelberg April 2008), 52-69.
  17. [ZUZ08]
    U. Zurutuza, R. Uribeetxeberria, D Zamboni.
    A Data Mining Approach for Analysis of Worm Activity Towards Automatic Signature Generation, Proc. 1st ACM Workshop on AISec (AISec'08), Alexandria, VA (ACM 2008) 61-70.