Verifying constant-time code with symbolic execution - View it on GitHub