947 search results - page 50 / 190 » Provable Implementations of Security Protocols |
WAIFI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
INFORMATICALT
2010
14 years 10 months ago
2010
The asymmetric cipher protocol, based on decomposition problem in matrix semiring M over semiring of natural numbers N is presented. The security of presented cipher protocol is ba...
104
click to vote
CADE
2009
Springer
16 years 12 days ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
In this work we re-visit the question of building cryptographic primitives that remain secure even when queried on inputs that depend on the secret key. This was investigated by B...
128
click to vote
PKC
1998
Springer
15 years 4 months ago
1998
Springer
One-way hash functions are an important tool in achieving authentication and data integrity. The aim of this paper is to propose a novel one-way hash function based on cellular aut...