IEEE short paper and build artifacts for Verity Benchmark - View it on GitHub