Artikel
Öffentlich zugänglich
Another look at automated theorem-proving
-
Neal Koblitz
Veröffentlicht/Copyright:
5. Februar 2008
Received: 2007-August-08
Published Online: 2008-02-05
Published in Print: 2007-12
© de Gruyter
Artikel in diesem Heft
- Minimal weight and colexicographically minimal integer representations
- Statistical distribution and collisions of VSH
- Cryptanalysis of a homomorphic public-key cryptosystem over a finite group
- Length-based cryptanalysis: the case of Thompson's group
- The average transmission overhead for broadcast encryption
- Another look at automated theorem-proving
Schlagwörter für diesen Artikel
Automated theorem-proving;
proof-checking;
public key cryptography;
signatures;
encryption
Artikel in diesem Heft
- Minimal weight and colexicographically minimal integer representations
- Statistical distribution and collisions of VSH
- Cryptanalysis of a homomorphic public-key cryptosystem over a finite group
- Length-based cryptanalysis: the case of Thompson's group
- The average transmission overhead for broadcast encryption
- Another look at automated theorem-proving
