Follow

My colleague and friend @nk produced an amazing introductory video for his new cryptographic protocol analysis tool . Give it a shot if you'd like to get started with formal verification, Verifpal is beginner-friendly!

youtube.com/watch?v=4__KcGU2AL

Find Verifpal over here: verifpal.com/

Sign in to participate in the conversation
chaos.social

chaos.social – a Fediverse instance for & by the Chaos community