Pinned Repositories
adem-proto
This repository contains libraries and command line utility support for an Authentic Digital Emblem (ADEM)
coriolis
Coriolis Shipyard for Elite Dangerous
FETT_CfgLoadouts
A loadout-system for ArmA 3.
IB_FPSRL
Prototype to benchmark the fuzzy particle swarm reinforcement learning (Hein, Hentschel, Runkler, Udluft 2017) algorithm on the industrial benchmark
ifc-rv-thesis
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
logistik-asp
Answer set program for logistics scheduling. Part of a practical course at University.
research-plan
The research plan for my PhD in the Information Security group, ETH Zurich.
subsets
Iterate over all subsets of lists or sets efficiently using the Banker's sequence
tamarin-workshop
A 2-4h workshop on the Tamarin protocol verifier.
soap-web
Web-based prototype for SOAP, a SOcial Authentication Protocol.
felixlinker's Repositories
felixlinker/tamarin-workshop
A 2-4h workshop on the Tamarin protocol verifier.
felixlinker/ifc-rv-thesis
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
felixlinker/FETT_CfgLoadouts
A loadout-system for ArmA 3.
felixlinker/logistik-asp
Answer set program for logistics scheduling. Part of a practical course at University.
felixlinker/tamarin_openid4vp_ble
felixlinker/gbn-summary
A LaTeX summary of the WS19/20 course "Graphen und biologische Netze" at the Leipzig University.
felixlinker/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
felixlinker/gbn1920_chrifero
felixlinker/research-plan
The research plan for my PhD in the Information Security group, ETH Zurich.
felixlinker/content
The content behind MDN Web Docs
felixlinker/contributist
Preview upcoming tasks from todoist contribution-chart-style
felixlinker/coriolis-hosting
felixlinker/cryptopals
Implementing https://cryptopals.com/
felixlinker/diem-unified-charter
Single document that defines the use cases and proposed scopes of IETF adoptable work following the 120 BoF
felixlinker/draft-ietf-cose-merkle-tree-proofs
COSE Receipts
felixlinker/draft-keytrans
felixlinker/draft-linker-digital-emblem
felixlinker/FESC
Mission enhancement scripts for ArmA 3
felixlinker/homepage
This repository contains all files related to building my homepage. It is published under https://felixlinker.github.io
felixlinker/keytrans-verification
felixlinker/manual
Tamarin prover manual: source files
felixlinker/multivitamin
In-Terminal multiple alignment tool for graphs
felixlinker/openid4vp_ble
felixlinker/pkce-generator
Code Verifier and Code Challenge Generator for OAuth with PKCE
felixlinker/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.
felixlinker/pool-guard
felixlinker/spond-python
felixlinker/vscode-haskell
VS Code extension for Haskell, powered by haskell-language-server
felixlinker/vscode-tamarin
felixlinker/wh40k
Warhammer 40,000