Skip to content
#

Protocol (disambiguation)

Protocol can mean different things, depending on the context:

Here are 2,392 public repositories matching this topic...

PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

  • Updated Jun 2, 2024
go-peer

🔐 🕵🏻 End-to-End encryption and Theoretically-Provable anonymity in a library wrapper. Confirmed by theoretical and research papers. The Hidden Lake anonymous network is located inside the project: https://github.com/number571/go-peer/tree/master/cmd/hidden_lake

  • Updated Jun 2, 2024
  • Go
Followers
47 followers
Wikipedia
Wikipedia

Related Topics

communication-protocol interface network-protocol