eikendev/tamarin-prover-docker eikendev/tamarin-prover-docker

  • This repository has been archived on 08/Jun/2024
  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Dockerfile
  • License
    ISC License
  • Created over 4 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eikendev/tamarin-prover-docker
github

eikendev

Reviews

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

Repository Details

A Docker image for the Tamarin prover

More Repositories

1

java-decompiler

A Docker image with four popular Java decompilers in one place (CFR, Fernflower, Krakatau, and Procyon) 🚀🔨
Dockerfile
70
star
2

hackenv

Manage and access your Kali Linux or Parrot Security VM from the terminal (SSH support + file sharing, especially convenient during CTFs, Hack The Box, etc.) 🚀🔧
Go
20
star
3

cloud-cracking

Setup for hashcat on AWS using CloudFormation
Makefile
13
star
4

sectxt

A library & tool for probing, parsing, and validating security.txt files as specified in RFC 9116 🚀📚
Rust
13
star
5

gotify-action

A GitHub Action to send notifications via Gotify
Shell
8
star
6

urlprobe

A tool for probing URLs for their status code from the command line (to check for broken links in a given list of URLs) 🚦🔥
Rust
6
star
7

tbunread

Helps you to keep an eye on unread emails in Thunderbird 📬🔥
Rust
4
star
8

denite-man

A Denite source for man pages
Python
3
star
9

theft-protection

A proof of concept for a low-cost bag theft protection
C++
3
star
10

imapfilter-docker

My personal Docker image for imapfilter
Dockerfile
3
star
11

ttrss

A tool for synchronizing feeds from a Tiny Tiny RSS server
Python
3
star
12

secvault

A Linux kernel module for managing user secrets
C
2
star
13

dotfiles

My personal configuration files
Shell
2
star
14

rfcdl

A tool for downloading and synchronizing RFCs in high speed (to always keep a local mirror on your machine) 🚀📃
Python
2
star
15

ethz-formal-methods

Tamarin proofs for the OTR and PAKE security protocols
Makefile
1
star
16

breaking-bridgefy-again

Breaking Bridgefy, again: Adopting libsignal is not enough (Martin R. Albrecht, Raphael Eikenberg, and Kenneth G. Paterson)
Go
1
star
17

denite-fzf

A Denite matcher for fzf
Python
1
star
18

thunderbird-unread

A shell script to monitor unread messages of Thunderbird
Shell
1
star
19

ethz-algolab

My solutions for the course Algorithms Lab at ETH Zurich
C++
1
star
20

vim-textobj-names

Text objects for source code names in Vim
Vim Script
1
star
21

code-spotlight

Uncovering details of curious implementations
C
1
star
22

cheergo

Receive notifications when your repository is starred, watched, or forked
Go
1
star