Russell O'Connor

Russell O'Connor
1 POSTS0 COMMENTS

Safegcd’s Implementation Formally Verified

Verifying an implementation of a novel modular inversion algorithm using a proof assistant. How guaranteeing NewsCapsule cryptography is handled correctly is done.

Get daily news in your inbox