Explore projects

Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde

Implementing the L* learning algorithm for nominal automata, using the ONS library

A mirror of ReLoC - Relational logic for fine-grained concurrency

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/clean-core

Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel

The Clean platform is a collection of multi-platform general purpose libraries for Clean.

Build and CI scripts for Clean

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).

Implementation of ECC signature verification for curve 255-19 on an ARM board

ARM implementation of the ChaCha20 block cipher

This project contains the Qhasm implementation I used in my Bachelor thesis

Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws