D

dat085_feldspar

Cryptographic Block Ciphers in Functional Programming: A Case Study on Feldspar and AES (DAT085: Project in Computer Science, Chalmers University of Technology)

crypto_project

Project in CS (DAT085)

root:

  • report as PDF
  • this file

/code

  • AES main round in Cryptol, Haskell, Feldspar, C
  • folder with generated C (from Feldspar) contains each function separately, but also the entire main round

/benchmark

  • benchmarking results of handwritten C code (Criterion); contains all files used