Skip to content
Change the repository type filter

All

    Repositories list

    • charm

      Public
      Charm: A Framework for Rapidly Prototyping Cryptosystems
      C
      GNU Lesser General Public License v3.0
      166564965Updated Jul 31, 2024Jul 31, 2024
    • Automated Cryptographic Transformations
      Python
      52720Updated Aug 23, 2021Aug 23, 2021
    • charm-CPP

      Public
      Charm: A Framework for Rapidly Prototyping Cryptosystems
      C++
      GNU General Public License v3.0
      2300Updated Oct 19, 2015Oct 19, 2015
    • autocrypt

      Public
      automated cryptographic transformations and formal verification
      eC
      1200Updated Oct 1, 2013Oct 1, 2013
    • sticrypto

      Public
      Java
      0100Updated Apr 12, 2013Apr 12, 2013
    • 0100Created Jan 23, 2012Jan 23, 2012