The implementation of the algorithm presented in the Master's Thesis "Security Despite System Compromise with Zero-Knowledge Proofs" can be downloaded here.