We introduce the notion of sanitizable signatures that offer many attractive security features
for certain current and emerging applications. A sanitizable signature allows authorized …

We present novel realizations of the transitive signature primitive introduced by Micali and
Rivest, enlarging the set of assumptions on which this primitive can be based, and also …

Formal methods have been extensively applied to the certification of cryptographic
protocols. However, most of these works make the perfect cryptography assumption, ie the …

We present a realization of the transitive signature scheme based on the algebraic
properties of bilinear group pairs. The scheme is proven secure, ie transitively unforgeable …