amaloz/modes-generator amaloz/modes-generator

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    OCaml
  • Created almost 11 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amaloz/modes-generator
github

amaloz

Reviews

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

Repository Details

Automated prover and synthesizer for modes of operation

More Repositories

1

ae-generator

Authenticated encryption scheme prover/synthesizer
C
14
star
2

crypto-latex

Style file for crypto papers
TeX
5
star
3

libgarble

Garbling library based on JustGarble
C
3
star
4

otlib

An oblivious transfer library
C
2
star
5

dotfiles

Random assortment of dotfiles
Shell
1
star
6

abke

Attribute-based Key Exchange
C
1
star