Software 2.0: A Security-Critical Project Where I Don't Read the Code