Prime Proof Protocol.

Anna M. Johnston Rathna Ramesh

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

formal proof
lightweight
real time
cryptographic protocols
theorem proving
communication protocol
tcp ip
communication protocols
network protocols
database
knowledge base
wireless sensor networks
theorem prover
elliptic curve
application layer
trusted third party