security

file

Visible to the public Clouded Vision

Submitted by SAlexander on Tue, 05/20/2014 - 2:41pm. Contributor:
file

Visible to the public Cyber2025 Networking

Submitted by Dave Clark on Tue, 05/20/2014 - 2:19pm. Contributor:
file

Visible to the public Workshops: International & DIMACS

Submitted by Rebecca Wright on Tue, 05/20/2014 - 2:16pm. Contributor:
file

Visible to the public Cryptol version 2: An Open Source Cryptol

Submitted by brad_martin on Sat, 04/26/2014 - 7:08am. Contributor:

Abstract

HCSS participants, in the main, know about Galois' Cryptol language and system and its capabilities. In short, Cryptol is a domain-specific language for programming, executing, testing, and formally reasoning about streams of bits. Cryptol particularly excels at specifying and reasoning about cryptographic algorithms.

Galois has decided to "reboot" Cryptol and create, from the ground up, a new Open Source Cryptol release: Cryptol version 2.