eikendev/ethz-formal-methods eikendev/ethz-formal-methods

  • This repository has been archived on 22/Nov/2020
  • Stars
    star
    1
  • Language Makefile
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eikendev/ethz-formal-methods
github

eikendev

Reviews

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

Repository Details

Tamarin proofs for the OTR and PAKE security protocols

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

tamarin-prover-docker

A Docker image for the Tamarin prover
Dockerfile
3
star
11

imapfilter-docker

My personal Docker image for imapfilter
Dockerfile
3
star
12

ttrss

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

secvault

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

dotfiles

My personal configuration files
Shell
2
star
15

rfcdl

A tool for downloading and synchronizing RFCs in high speed (to always keep a local mirror on your machine) πŸš€πŸ“ƒ
Python
2
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