2 ms·Verifpal: New Software for Verifying the Security of Cryptographic Protocols1 points by ementally 3y ago