Benchmarking paper#26

rheitjoh wants to merge 7 commits intomaincryptimeleon/cryptimeleon.github.io:mainfrom

benchmarking-papercryptimeleon/cryptimeleon.github.io:benchmarking-paperCopy head branch name to clipboard