3 ms·Verifpal: New software for verifying the security of cryptographic protocols3 points by FloDo 7y ago