Course

Credit Type:
Course
ACE ID:
NNCS-5220
Version:
2
Organization's ID:
CRYP2500
Organization:
National Cryptologic University
Location:
Hybrid
Length:
5 days (40 hours)
Minimum Passing Score:
100
ACE Credit Recommendation Period:
Credit Recommendation & Competencies
Level Credits (SH) Subject
Lower-Division Baccalaureate 3 Applied Cryptography with Cryptol Language
Description

Objective:

The course objective is to provide the student with an overview of the capabilities of Cryptol programming language as a cryptographic algorithm design, implementation and evaluation tool, as well as provide opportunities to demonstrate their ability to apply the language to mission-related projects via an extensive set of lab exercises and final Capstone project.

Learning Outcomes:

  • understand the utility of Cryptol, its language constructs and interpreter and the tools that interact with it, e.g., Software Analysis Workbench (SAW);
  • verify cryptographic, software written in Cryptol using SAW;
  • implement using Cryptol cryptographic protocols for random number generation, cyclic redundancy checks, National Institute of Standards (NIST) block cipher modes of operation and secure key wrapping;
  • describe and demonstrate five powerful classes of proofs Cryptol uses to prove the cryptographic properties for a wide variety of algorithms;
  • utilize Cryptol’s connection to automated provers (i.e., SAT or Satisfiability solvers) to solve classical computational puzzles.

General Topics:

  • Programming style guidance software verification using Software Analysis Workbench (SAW) writing cryptographic specifications proving cryptographic properties key wrapping methods message encryption and decryption
Instruction & Assessment

Instructional Strategies:

  • Computer Based Training
  • Laboratory
  • Lectures

Methods of Assessment:

  • Other
  • Performance Rubrics (Checklists)
  • Final Project
Supplemental Materials
Equivalencies

Other offerings from National Cryptologic University

View All Courses
College Credit Opportunities