haybale-pitchfork (cargo): Verifying constant-time code with symbolic execution
Keywords: symbolic|constant-time|smt|llvm