Beware of bugs in the above code; I have only proved it correct, not tried it. -...

		msg on July 31, 2013 \| parent \| context \| favorite \| on: More Encryption Is Not the Solution Beware of bugs in the above code; I have only proved it correct, not tried it. -- Don Knuth