405 search results - page 62 / 81 » Practice-Oriented Provable Security |
ASIACRYPT
2009
Springer
14 years 2 months ago
2009
Springer
Group encryption (GE) schemes, introduced at Asiacrypt’07, are an encryption analogue of group signatures with a number of interesting applications. They allow a sender to encryp...
ACISP
2005
Springer
14 years 1 months ago
2005
Springer
We present the first group signature scheme with provable security and signature size O(λ) bits where the group manager, the group members, and the Open Authority (OA) are all id...
GI
2005
Springer
14 years 1 months ago
2005
Springer
d Abstract) Stefan Lucks1 , Erik Zenner2 , Andr´e Weimerskirch3 , Dirk Westhoff4 1 Theoretische Informatik, University of Mannheim, Germany 2 Erik Zenner, Cryptico A/S, Copenhagen...
CCS
2004
ACM
14 years 28 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
CSFW
2003
IEEE
14 years 25 days ago
2003
IEEE
We investigate a number of issues related to identity based authenticated key agreement protocols using the Weil or Tate pairings. These issues include how to make protocols effici...