My Release Pipeline Refused to Ship My Release. It Was Right.
pipeline

My Release Pipeline Refused to Ship My Release. It Was Right.

lalatendu.swain
lalatendu.swain
Oct 134 min read
lalatendu.swain
lalatendu.swain

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

A method for verifying software properties without disclosing source code.

trust-boundarySep 274 min read