JHU Security and Crypto Lab

Repositories

• charm

  Charm: A Framework for Rapidly Prototyping Cryptosystems

  python cryptography prototyping
  C LGPL-3.0 112 337 68 (9 issues need help) 2 Updated Sep 9, 2020

• auto-tools

  Automated Cryptographic Transformations
  Python 4 20 2 0 Updated Nov 27, 2019

• charm-CPP

  Charm: A Framework for Rapidly Prototyping Cryptosystems
  C++ GPL-3.0 1 3 0 0 Updated Oct 19, 2015

• autocrypt

  automated cryptographic transformations and formal verification
  eC 1 2 0 0 Updated Oct 1, 2013

• sticrypto
  Java 0 1 0 0 Updated Apr 12, 2013

• ssl-testing-client
  0 1 0 0 Created Jan 23, 2012