Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) Most aspects of our private and social lives -- our safety, the integrity of the financial system, the functioning of utilities and other services, and national security -- now depend on computing.