Similar repositories to securesystemslab/sanitizing-for-security-benchmarks: