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