790 search results - page 89 / 158 » Designated Confirmer Signatures |
156
click to vote
ESORICS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
143
click to vote
SAC
2006
ACM
15 years 12 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
162
click to vote
IEEEPACT
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe the design, generation and compression of the extended whole program path (eWPP) representation that not only captures the control flow history of a program execution...
162
click to vote
SACMAT
2004
ACM
15 years 11 months ago
2004
ACM
Ubiquitous computing uses a variety of information for which access needs to be controlled. For instance, a person’s current location is a sensitive piece of information, which ...
173
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
The design of a test response compactor called a Block Compactor is given. Block Compactors belong to a new class of compactors called Finite Memory Compactors. Different from spa...