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)

04be2260 initial commit · by Gregor Ulm
Name Last Update
benchmark Loading commit data...
code Loading commit data...
.gitignore Loading commit data...
GregorUlm.FinalReport.May31.pdf Loading commit data...
README.md Loading commit data...

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