Dennis Jackson's repositories

tamarin-tester

Testing utility for the Tamarin Theorem Prover

Language:PythonLicense:GPL-3.0Stargazers:2Issues:2Issues:25
License:NOASSERTIONStargazers:2Issues:0Issues:0

advanced-tamarin-dh

Models, Case Studies and Patches for the "Prime, Order Please" paper.

Language:HaskellStargazers:1Issues:0Issues:0

antlr-spthy

An ANTLR grammar for spthy files.

Language:PythonLicense:GPL-3.0Stargazers:1Issues:2Issues:0

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:2Issues:0

accurate-symbolic-signatures

Models and Theories for the "Seems Legit" paper.

Stargazers:0Issues:2Issues:0
Language:MakefileLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cargo-supply-chain

Gather author, contributor and publisher data on crates in your dependency graph.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

manual

Tamarin prover manual: source files

Language:JavaScriptStargazers:0Issues:1Issues:0

mls-protocol

MLS protocol

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:Jupyter NotebookLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

PremiseColouring

How fast can we colour DAGs?

Language:PythonStargazers:0Issues:2Issues:0
Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

sec-deadlines.github.io

Deadline countdowns for academic conferences in Security and Privacy

Language:HTMLStargazers:0Issues:1Issues:0

secure-communication-principles

Guidance to help you assess the security of voice, video and messaging communication services.

Stargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:1Issues:0

tor-perf-analysis

Analysis of Exit Relay Latency data

Language:PythonStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:1Issues:0

torspec

unofficial git repo -- report bugs/issues/pull requests on https://gitlab.torproject.org/ -- discuss proposals on tor-dev@lists.torproject

Language:PythonStargazers:0Issues:1Issues:0

tpo

torproject.org

Language:HTMLStargazers:0Issues:1Issues:0

webpagetest-docs

Documentation for WebPageTest

License:Apache-2.0Stargazers:0Issues:1Issues:0

wptagent

Cross-platform WebPageTest agent

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0