Explore projects

Stuff for the course Practical Programming and Numerical Methods.

Library for compressing Ananke is the greek good of force constraint, necessity

Søren and Christer bachelor project about lightweight crypto and ASCON

Basic blockchain implementation with additional finality layer based on Afgjort. Implemented as bachelor project 2020

Storage for TorsionBar example

2015 Project for the course Cryptographic Computational Project. Looking at ORAM.

Includes a code written to evaluate the radiation emitted from ultrarelativistic electrons and positrons channeling in oriented crystals, using CUDA. Armadillo is required to run.

For questions email: christianfn@phys.au.dk

A framework for smart contract verification in Coq

Digital Testbed and Benchmark Development

Digital Testbed and Benchmark Development

Digital Testbed and Benchmark Development

GITMAL, til ITMAL kurset.

Indeholder slides, opgaver og Python kildekoder.