49 search results - page 9 / 10 » Model-Based Testing of Cryptographic Protocols |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
ENC
2005
IEEE
14 years 1 months ago
2005
IEEE
— Recent advances in communication networks and cryptographic techniques have made possible to consider online voting systems as a feasible alternative to conventional elections....
CHES
2006
Springer
13 years 11 months ago
2006
Springer
The generation of prime numbers underlies the use of most public-key cryptosystems, essentially as a primitive needed for the creation of RSA key pairs. Surprisingly enough, despit...
ASIACRYPT
2010
Springer
13 years 4 months ago
2010
Springer
We consider the round complexity of a basic cryptographic task: verifiable secret sharing (VSS). This well-studied primitive provides a good "test case" for our understan...
PODC
2012
ACM
11 years 10 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...