Pratt's Primality Certificates.

Simon Wimmer Lars Noschinski

Published in: Arch. Formal Proofs (2013)

Keyphrases

access control
public key
bounded treewidth
public key infrastructure
e learning
data management