[Verifpal] Donate to Support Verifpal!

[Nadim Kobeissi]

Hello everyone,

Verifpal is free and open source software, and every donation will be used to continue Verifpal research and development. If you're interested in supporting Verifpal, please consider setting up a recurring or one-time donation today!

Our new Liberapay page allows you to set up small recurring donations, similar to Patreon:
https://verifpal.com/donate

Verifpal already has received generous support from the NLNet foundation (https://nlnet.nl), but I’m hoping to diversify the types of backing that the project can receive.

By supporting Verifpal, you will be helping us:

	• Improve Verifpal's soundness with a full proof of soundness and a full automated test suite.
	• Allow Verifpal to generate implementations in Go from models, thanks to sound verification methodology.
	• Expanded IDE integration: live analysis feedback and charts as protocol is modeled in Visual Studio Code.
	• Bug fixes, general improvements, etc.
	• Support for more types of verification queries: forward secrecy, etc.
	• Expanding the language's features as requested already by community members on the Verifpal Mailing List.
	• Improved packaging and distribution.

You would also be supporting our initiative to get Verifpal taught at the undergraduate level. Verifpal is already being taught this semester in a computer security course at NYU, and 50 hardcover copies of the Verifpal User Manual have been printed for use as textbooks. We plan to expand this initiative to leverage Verifpal as an educational tool for computer security and correct protocol design.

So, donate to Verifpal today! https://verifpal.com/donate

Thank you very much,

Nadim Kobeissi
Symbolic Software • https://symbolic.software