What if a tool could not just find attacks in cryptographic protocols β€” but fix them automatically?