| fmc09 -- Formal Methods and Cryptography | |
|
|
|
| About fmc09 | |
|
This is the mailing list for the lecture "Formal Methods and Cryptography" held 2009 by Dominique Unruh at the Saarland University.
To see the collection of prior postings to the list, visit the fmc09 Archives. |
|
| Using fmc09 | |
|
To post a message to all the list members, send email to
fmc09@mail-infsec.cs.uni-saarland.de.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
| Subscribing to fmc09 | |
|
Subscribe to fmc09 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. | |
| fmc09 Subscribers | |
|
|
|
version 2.1.14 |