Version française
Home     About     Download     Resources     Contact us    
Browse thread
Working of GNYtool
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Abhishek Daiya <abhishek_daiya@d...>
Subject: Working of GNYtool
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