Microsoft

Crypto Verification Kit

  Cryptographic protocols often go wrong; even experts can and do miss bugs. Our tools analyze reference implementations of protocols, proving security theorems, or finding vulnerabilities. Successfully applied to TLS, Windows Cardspace, Web Services. Tools in the Crypto Verification Kit…

Ajax View

  The goal of the Ajax View project is to improve developer’s visibility into and control over their web applications’ behaviors on end-user’s desktops. Overview The goal of the Ajax View project is to improve developer’s visibility into and control…

Bitnami