Felix Linker's repositories
tamarin-workshop
A 2-4h workshop on the Tamarin protocol verifier.
ifc-rv-thesis
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
FETT_CfgLoadouts
A loadout-system for ArmA 3.
logistik-asp
Answer set program for logistics scheduling. Part of a practical course at University.
gbn-summary
A LaTeX summary of the WS19/20 course "Graphen und biologische Netze" at the Leipzig University.
research-plan
The research plan for my PhD in the Information Security group, ETH Zurich.
contributist
Preview upcoming tasks from todoist contribution-chart-style
cryptopals
Implementing https://cryptopals.com/
multivitamin
In-Terminal multiple alignment tool for graphs
musical-spoon
Fortgelaufene Methoden der Bioinformatik
pkce-generator
Code Verifier and Code Challenge Generator for OAuth with PKCE
plakatlog_bot
A telegram bot that stores your location into a spreadsheet and is intended to track where you put things into public places that need to be removed later on.
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
vscode-haskell
VS Code extension for Haskell, powered by haskell-language-server