Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Project: SPOOC
Updated at: 27-04-2024
Show more
information
Project acronym
SPOOC