Skip to content
#

cryptographic-protocols

Star

Here is 1 public repository matching this topic...

Language: Python
Filter by language
All 7 Go 2 Pascal 1 Python 1 Ruby 1 Rust 1 Shell 1

dambrosidenis / Formal-Verification-of-the-Session-Protocol

Star 0

This repository contains the resources and files related to the formal verification of the Session protocol using the Tamarin prover. The work focuses on verifying the security properties of the Session protocol in the symbolic model, encompassing peer-to-peer message delivery and onion routing.

cybersecurity formal-methods formal-verification tamarin-prover cryptographic-protocols
  • Updated Jul 25, 2024
  • Python

Improve this page

Add a description, image, and links to the cryptographic-protocols topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cryptographic-protocols topic, visit your repo's landing page and select "manage topics."

Learn more