kravietz 🦇
Follow

Cryptographic design analysis of my favourite protocol github.com/olapiha/scuttlebutt with formal verifier files for verifpal, cryptoverif, proverif

· · Whalebird · 0 · 1 · 3
Sign in to participate in the conversation
Mastodon 🔐 privacytools.io

Fast, secure and up-to-date instance. PrivacyTools provides knowledge and tools to protect your privacy against global mass surveillance.

Website: privacytools.io
Matrix Chat: chat.privacytools.io
Support us on OpenCollective, many contributions are tax deductible!

Resources

Developers

What is Mastodon?

social.privacytools.io

More…