Explore projects

Stuff for the course Practical Programming and Numerical Methods.

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

Source files for hacspec files Bachelor's project by AU DAT6 2019 Group 6.

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

The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.

Digital Testbed and Benchmark Development

Digital Testbed and Benchmark Development