jdreier

Université de LorraineNancy

Pinned Repositories

open-vsx.org
Source of open-vsx.org
Language:TypeScript133 13 2.2k40
homebrew-tap
Homebrew tap for installing the Tamarin prover
Language:Ruby0 1 00
manual
Tamarin prover manual: source files
Language:JavaScript0 0 00
tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:Haskell21
tn-report
Modèle de rapport de stage TELECOM Nancy
Language:TeX0 0 00
manual
Tamarin prover manual: source files
Language:JavaScript24 12 3939
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell405 24 375129
tamarin-prover.github.io
Source repository for the tamarin-prover.github.io github pages.
Language:HTML5 8 24
teaching
Teaching materials related to the Tamarin Prover
61 8 47
tn-report
Modèle de rapport de stage TELECOM Nancy
Language:TeX21 5 368

jdreier's Repositories

jdreier/tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:Haskell21
jdreier/homebrew-tap
Homebrew tap for installing the Tamarin prover
Language:Ruby0 1 00
jdreier/manual
Tamarin prover manual: source files
Language:JavaScript0 0 00
jdreier/tn-report
Modèle de rapport de stage TELECOM Nancy
Language:TeX0 0 00