Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Add Verifpal model for Userbase #89
I took the liberty of creating a Verifpal model for Userbase based on a best-effort understanding of your protocol from the available source code and documentation.
I would welcome expansion of this model, and I think integrating it into your documentation/codebase could provide interesting insight for those looking to analyze your cryptographic protocol.
Good luck with Userbase!
This looks awesome! When I have time (very soon), I will spend more time learning this language and verifying this matches our spec. This looks like an amazing tool and absolutely looks like something we'd want integrated into our documentation/codebase.
You taking the time to review our implementation and write this up is very much so appreciated as well. Thank you!