darrenldl/ProVerif-ATP darrenldl/ProVerif-ATP

  • Stars
    star
    23
  • Rank 1,016,462 (Top 21 %)
  • Language
    OCaml
  • Created almost 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
darrenldl/ProVerif-ATP
github

darrenldl

Reviews

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

Repository Details

ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification

More Repositories

1

docfd

TUI multiline fuzzy document finder
OCaml
205
star
2

reed-solomon-erasure

[Looking for new owners/maintainers, see #88] Rust implementation of Reed-Solomon erasure coding
Rust
118
star
3

blockyarchive

Blocky archive - multithreaded archiver offering bit rot protection and sector level recoverability
Rust
94
star
4

sandboxing

Scripts, files and tools related to sandboxing
C
28
star
5

stramon

Process behavior monitoring utility and library based on strace
OCaml
25
star
6

distrproc

Erlang style process/actor model library in OCaml
OCaml
16
star
7

ocaml-lxc

OCaml binding to LXC with idiomatic (and opionated) OCaml API design
OCaml
12
star
8

ocaml-SeqBox

Implementation of SeqBox in OCaml
OCaml
11
star
9

oali

OCaml Arch Linux Installer
OCaml
10
star
10

ocaml-tui-chat-demo

OCaml
9
star
11

dirsift

Search for directories by types
OCaml
6
star
12

ocaml-reed-solomon-erasure

OCaml implementation of Reed-Solomon erasure coding
OCaml
5
star
13

rse-benchmark

Benchmarking code for reed-solomon-erasure library
Rust
4
star
14

tamgram

High-level frontend language to Tamarin prover
OCaml
2
star
15

ocaml-lt-code

OCaml implementation of a Luby transform code
OCaml
2
star
16

blkar-helpers

Helper scripts/programs for using blkar
Python
1
star
17

ffprinter

File fingerprint manager
C
1
star
18

ezsetfacl

setfacl across multiple files, and basic manipulation of files
Shell
1
star