Formal Verification of Security Protocols: the Squirrel Prover (Keynote)

Security protocols are widely used today to secure transactions that take place through public channels like the Internet. Common applications involve the secure transfer of sensitive information like credit card numbers or user authentication on a system. Because of their increasing ubiquity in many important applications (e.g. electronic commerce, government-issued ID), a very important research challenge consists in developing methods and verification tools to increase our trust on security protocols, and so on the applications that rely on them.