mit-plv/cross-crypto

Issues

• unify distinguisher and adversary?

  #7 opened 6 years ago by andres-erbsen
  1

• TODO list

  #2 opened 6 years ago by cryslith
  0

• Please make your project compile with -w "+compatibility-notation"

  #9 opened 6 years ago by Zimmi48
  5

• debugging setoid_rewrite runaway typeclass resolution

  #5 opened 6 years ago by andres-erbsen
  1

• bump fcf soon

  #6 opened 6 years ago by andres-erbsen
  1

• Authenticated Encryption

  #4 opened 6 years ago by andres-erbsen
  1

• Public Key Encryption

  #3 opened 6 years ago by andres-erbsen
  0