Searched refs:proofs (Results 1 – 3 of 3) sorted by relevance
365 mod proofs { module
1953 mod proofs { module
221 if userspace makes any such error, as the cryptographic proofs and243 since the cryptographic proofs and analysis would no longer apply.)