ctverif (npm): A tool for verifying constant-time code.
Keywords: verification|constant|time