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...


Project in CS (DAT085)


  • report as PDF
  • this file


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


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