Re: "Perfect" or "Provable" security both crypto and non-crypto?

From: Douglas A. Gwyn (
Date: 09/14/04

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
by postdocs.