Dennis Jackson's repositories
tamarin-tester
Testing utility for the Tamarin Theorem Prover
advanced-tamarin-dh
Models, Case Studies and Patches for the "Prime, Order Please" paper.
antlr-spthy
An ANTLR grammar for spthy files.
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
accurate-symbolic-signatures
Models and Theories for the "Seems Legit" paper.
Language:MakefileNOASSERTION000
cargo-supply-chain
Gather author, contributor and publisher data on crates in your dependency graph.
mls-protocol
MLS protocol
PremiseColouring
How fast can we colour DAGs?
sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
secure-communication-principles
Guidance to help you assess the security of voice, video and messaging communication services.
Language:Python000
tor-perf-analysis
Analysis of Exit Relay Latency data
Language:Python000
webpagetest-docs
Documentation for WebPageTest