Cryptol

Commercial Evaluation

Cryptol is research software. By making the Cryptol toolset available for evaluation, we hope to determine the size and scope of the commercial market. In return for free access to the tools, we ask two things of you: feedback on the tools, and information about how you used them.

To obtain your free Cryptol evaluation license, please fill out the form below and mail the information to us using the button at the bottom of the questionaire. You will receive an email back (probably the next day) with instructions for downloading the tools.

Describe yourself.

Name:

Title/Position:
Describe your business.

Company:

How many people are in your company or organization?
1 person
more than 1 person
more than 10 people
more than 100 people
more than 1000 people

What is the primary business or activity of your company or organization?
Which of the following scenarios best describes the way you want to use Cryptol within your organization?

Specify new cryptographic algorithms in Cryptol and simulate them on test vectors

Compile Cryptol specifications to:
       C
       VHDL
       Other

Simulate and test Cryptol specifications against existing crypto algorithms written in:
       Cryptol
       C
       VHDL
       Other

Use a model checker or theorem prover to formally verify Cryptol specifications against existing crypto algorithms written in:
       Cryptol
       C
       VHDL
       Other
If the Cryptol tools were sold commercially at a reasonable price, how many people in your organization would use them?
1 person
more than 1 person
more than 10 people
more than 100 people
more than 1000 people
Suppose a source code license was available at an additional charge. Would your organization require source code licenses to any of the Cryptol tools?
Cryptol interpreter
VHDL compiler
C compiler
Formal verification tools
Are there any other features or capabilities you would like to see in the Cryptol toolset, or a use case not covered above?
Suggest other ways you might use Cryptol and/or other capabilities you might like it to have.

Once you send us your information, we will email you instructions on how to download a Commercial Evaluation License.

Thank you for your interest in Cryptol, we look forward to your request.