Explore projects

Swish freeze of vortex gpgpu

This is a LaTeX template suggestion for a Bachelor's or Master's thesis.

This repo follows the practical coursework of the Microbial Data Analysis course of Saarland University and introduces to the current practices in Metagenomics analysis.

Symbolic Verification of a #PKCS11 Model using a key hierarchy. Syntax Highlighting for tamarin in pygments.