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 questionnaire. You will receive an email back (probably the next day) with instructions for downloading the tools.

  1. Describe yourself.

    Name:

    Title/Position:

  2. 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?

  3. 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   

  4. 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

  5. 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

  6. Are there any other features or capabilities you would like to see in the Cryptol toolset, or a use case not covered above?