Proofs and Limitations of the Pathway Protocol.

Marc Jansen Ilya Sapranidi Aleksei Pupyshev

Published in: BLOCKCHAIN (2022)

Keyphrases

formal proof
lightweight
theorem proving
network protocols
formal analysis
coloured petri nets
application layer
communication protocol
theorem prover
end to end
digital libraries
regulatory networks
authentication protocol
cryptographic protocols
communication protocols
key agreement protocol
formal proofs