vehiloco.github.io

VeHiLoCo website

Follow me on GitHub

Verifying Highlevel and Lowlevel Code (VeHiLoCo)

Crypto Checker

The Crypto Checker helps ensure correct usage of cryptographic APIs in Java.

Contact

Please address your questions and comments to Werner Dietl.