this post was submitted on 08 May 2024
6 points (87.5% liked)
cybersecurity
3186 readers
1 users here now
An umbrella community for all things cybersecurity / infosec. News, research, questions, are all welcome!
Community Rules
- Be kind
- Limit promotional activities
- Non-cybersecurity posts should be redirected to other communities within infosec.pub.
Enjoy!
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Tamarin proofs, tool of the devil.
Had not heard of this. Got some reading to do 👍