Implementation of ECC signature verification for curve 255-19 on an ARM board
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/clean-base
Please add issues and pull requests on https://github.com/timjs/itasks-ide
Please add issues and pull requests on https://github.com/timjs/clean-core
LaTeX repository for thesis proposal
Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).
Spark project accompanying thesis document
Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde
LaTeX repository for thesis document
Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel
This project contains the Qhasm implementation I used in my Bachelor thesis
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Build and CI scripts for Clean
A mirror of ReLoC - Relational logic for fine-grained concurrency