sebastianv89/scimp-proverif sebastianv89/scimp-proverif

  • Stars
    star
    1
  • Language Makefile
  • Created almost 9 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sebastianv89/scimp-proverif
github

sebastianv89

Reviews

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

Repository Details

Proverif models for the Silent Circle instant messaging protocol

More Repositories

1

double-ratchet

Pure Rust implementation of the Double Ratchet algorithm
Rust
65
star
2

master-thesis

Master Thesis
4
star
3

otrv4-proverif

Proverif models of OTRv4
Makefile
3
star
4

factoring-sat

Supporting scripts/data to the paper: Factoring semi-primes with (quantum) SAT-solvers
Mathematica
3
star
5

passage

Fork of https://www.passwordstore.org based on https://age-encryption.org
Shell
1
star