rkunnema

Saarland University, CISPA

Pinned Repositories

causation-benchmark
Benchmark suite for various definitions of causation.
Language:TeX0 2 00
editors
Repository for text editor syntax highlighting
Language:Vim Script0 1 00
manual
Tamarin prover manual: source files
Language:JavaScript0 2 02
mitb
MAC-In-The-Box-Project
Language:Standard ML0 2 01
sapic-caspar
Modelling of CASPAR protocol in SAPIC process calculus
0 2 00
tamarin-prover
Development fork of main repository of the Tamarin prover for security protocol verification.
Language:Haskell0 2 00
wave
Verified Wasm runtime
Language:Rust00
manual
Tamarin prover manual: source files
24 12 3939
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell426 24 385137

rkunnema's Repositories

rkunnema/causation-benchmark
Benchmark suite for various definitions of causation.
Language:TeX0 2 00
rkunnema/editors
Repository for text editor syntax highlighting
Language:Vim Script0 1 00
rkunnema/manual
Tamarin prover manual: source files
Language:JavaScript0 2 02
rkunnema/mitb
MAC-In-The-Box-Project
Language:Standard ML0 2 01
rkunnema/sapic-caspar
Modelling of CASPAR protocol in SAPIC process calculus
0 2 00
rkunnema/tamarin-prover
Development fork of main repository of the Tamarin prover for security protocol verification.
Language:Haskell0 2 00
rkunnema/wave
Verified Wasm runtime
Language:Rust00