| ADDRESS | : | GALOIS CONNECTIONS, INC |
| 12725 SW MILLIKAN WAY | ||
| SUITE 290 | ||
| BEAVERTON, OR 97005 | ||
| PHONE | : | (503) 626-6616 |
| FAX | : | (503) 350-0833 |
| : | cryptol@galois.com | |
| ||
| Cryptol is a domain specific language for Cryptographic applications, currently developed by Galois Connections, Inc. This web-site contains a description of the language and detailed documentation on Cryptol. |