Re: "Perfect" or "Provable" security both crypto and non-crypto?
From: Douglas A. Gwyn (DAGwyn_at_null.net)
Date: Mon, 13 Sep 2004 23:46:49 -0400
David Wagner wrote:
> I don't think that's true. A fair number of graduate students here study
> Hoare logic, weakest preconditions, and similar material.
Unfortunately most programming doesn't seem to be done