SecureNDC software on GitHub

Software OPEN SOURCE

A Coq Library for the SecureND Calculus for Minimal Trust
Share - Bookmark