sebastianv89/factoring-sat sebastianv89/factoring-sat

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Mathematica
  • Created about 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sebastianv89/factoring-sat
github

sebastianv89

Reviews

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

Repository Details

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

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

passage

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

scimp-proverif

Proverif models for the Silent Circle instant messaging protocol
Makefile
1
star