Verifpal – tool to verify the security of cryptographic protocols:
– paper: https://eprint.iacr.org/2019/971.pdf (PDF file)
– user manual: https://verifpal.com/res/pdf/manual.pdf (PDF file)
– Verifpal is still highly experimental software
– available for Windows, Linux and macOS
mastodon.at is a microblogging site that federates with most instances on the Fediverse.