Re: A Newbie to the group.

[adacrypt <austin.obyrne@hotmail.com>]

On Jun 15, 6:29 pm, Yannick Duchêne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> Le Tue, 15 Jun 2010 17:43:49 +0200, adacrypt <austin.oby...@hotmail.com> a  
> écrit:> Could I ask you to vist my websitehttp://www.adacrypt.comabd have a
> > look at " A New Approach to Cryptography" - this is attracting alot of
> > interest by academic visitors.
>
> Just thanks
>
> --
> There is even better than a pragma Assert: a SPARK --# check.
> --# check C and WhoKnowWhat and YouKnowWho;
> --# assert Ada;
> --  i.e. forget about previous premises which leads to conclusion
> --  and start with new conclusion as premise.

Hi,

I am a bit of a loss to interpret your meaning - Do you mean I should
promote this as something of academic interest to the refernces you
give me or is there some mistake on my part - I would appreciate it if
you enlighten me a bit - adacrypt