Proof Without Sharing Source Code: SJV, SJP, and the Trust Boundary

A method for verifying software properties without disclosing source code.

lalatendu.swain

Sep 274 min read