A tool to eliminate timing-based side channels - View it on GitHub