563 search results - page 11 / 113 » Verifiable Signature Sharing |
164
click to vote
PPDP
2005
Springer
2005
Springer
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
15 years 11 months ago
Formal methods have proved to be very useful for analyzing cryptographic protocols. However, most existing techniques apply to the case of abstract encryption schemes and pairing....
JIPS
2011
15 years 15 days ago
2011
137
Voted
JISE
2011
15 years 1 days ago
2011