Scyther-students -- Students using the Scyther tool | |
|
|
About Scyther-students | |
This mailing list is intended for students that use the Scyther Tool for automatic verification of security protocols. For more information, please visit the website of the Scyther tool. To see the collection of prior postings to the list, visit the Scyther-students Archives. (The current archive is only available to the list members.) |
|
Using Scyther-students | |
To post a message to all the list members, send email to
scyther-students@listserver.tue.nl.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to Scyther-students | |
Subscribe to Scyther-students by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the list of members is not available to non-members. | |
Scyther-students Subscribers | |
|
version 2.1.29 |