amaloz/ae-generator amaloz/ae-generator

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    C
  • License
    Other
  • Created almost 10 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amaloz/ae-generator
github

amaloz

Reviews

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

Repository Details

Authenticated encryption scheme prover/synthesizer

More Repositories

1

crypto-latex

Style file for crypto papers
TeX
5
star
2

modes-generator

Automated prover and synthesizer for modes of operation
OCaml
3
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