* Working of GNYtool
@ 2008-06-23 4:55 Abhishek Daiya
0 siblings, 0 replies; 2+ messages in thread
From: Abhishek Daiya @ 2008-06-23 4:55 UTC (permalink / raw)
To: caml-list, 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
* Working of GNYtool
@ 2008-06-23 12:56 Abhishek Daiya
0 siblings, 0 replies; 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
end of thread, other threads:[~2008-06-23 12:58 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-06-23 4:55 Working of GNYtool Abhishek Daiya
2008-06-23 12:56 Abhishek Daiya
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox