Probabilistic_While Dependents

Executable Randomized Algorithms

by Emin Karayel and Manuel Eberl

CryptHOL

by Andreas Lochbihler