felixlinker/tamarin-workshop felixlinker/tamarin-workshop

  • Stars
    star
    11
  • Rank 1,689,116 (Top 34 %)
  • Language
  • Created about 1 year ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
felixlinker/tamarin-workshop
github

felixlinker

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A 2-4h workshop on the Tamarin protocol verifier.

More Repositories

1

IB_FPSRL

Prototype to benchmark the fuzzy particle swarm reinforcement learning (Hein, Hentschel, Runkler, Udluft 2017) algorithm on the industrial benchmark
TeX
6
star
2

subsets

Iterate over all subsets of lists or sets efficiently using the Banker's sequence
Haskell
4
star
3

ifc-rv-thesis

My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
TeX
4
star
4

FETT_CfgLoadouts

A loadout-system for ArmA 3.
C++
2
star
5

logistik-asp

Answer set program for logistics scheduling. Part of a practical course at University.
Haskell
2
star
6

gbn-summary

A LaTeX summary of the WS19/20 course "Graphen und biologische Netze" at the Leipzig University.
TeX
1
star
7

smvtrcviz

Transform XML traces generated by nuXmv or NuSMV into a html table
Clojure
1
star
8

tamarin_openid4vp_ble

Python
1
star