* Working of GNYtool
@ 2008-06-23 12:56 Abhishek Daiya
2008-06-23 13:32 ` [Caml-list] " Andrej Bauer
0 siblings, 1 reply; 2+ messages in thread
From: Abhishek Daiya @ 2008-06-23 12:56 UTC (permalink / raw)
To: caml-list
Dear All,
I am a computer science student from India. I am working on some security
protocols under my research internship. For analysis of the protocols, I
need to run 'GNYtool' developed by David Monniaux.
http://www-verimag.imag.fr/~monniaux/download/gnytool.tar.gz
I have compiled the tool using 'Ocaml' compiler but I am not able to
figure out how to use the tool. Could anybody please help me out.
Thanking you,
- Abhishek Daiya
BTech, DA-IICT
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] Working of GNYtool
2008-06-23 12:56 Working of GNYtool Abhishek Daiya
@ 2008-06-23 13:32 ` Andrej Bauer
0 siblings, 0 replies; 2+ messages in thread
From: Andrej Bauer @ 2008-06-23 13:32 UTC (permalink / raw)
To: abhishek_daiya; +Cc: caml-list
Abhishek Daiya wrote:
> Dear All,
>
> I am a computer science student from India. I am working on some security
> protocols under my research internship. For analysis of the protocols, I
> need to run 'GNYtool' developed by David Monniaux.
> http://www-verimag.imag.fr/~monniaux/download/gnytool.tar.gz
>
> I have compiled the tool using 'Ocaml' compiler but I am not able to
> figure out how to use the tool. Could anybody please help me out.
This is the wrong mailing list to ask. You should contact the author of
the tool directly.
Best regards,
Andrej
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2008-06-23 13:32 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-06-23 12:56 Working of GNYtool Abhishek Daiya
2008-06-23 13:32 ` [Caml-list] " Andrej Bauer
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox